From ed733f02472a5887b61ad62c691b10af8359d29b Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 8 Oct 2019 06:24:33 -0700
Subject: [PATCH] [sledge] Add missing import of trace into symbheap

Reviewed By: ngorogiannis

Differential Revision: D17665241

fbshipit-source-id: 6f70e2925
---
 sledge/src/symbheap/dune.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/src/symbheap/dune.in b/sledge/src/symbheap/dune.in
index 083e4c119..c30fd12a2 100644
--- a/sledge/src/symbheap/dune.in
+++ b/sledge/src/symbheap/dune.in
@@ -6,7 +6,7 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-let deps = ["import"; "llair_"; "domain"]
+let deps = ["import"; "trace"; "llair_"; "domain"]
 
 ;;
 Jbuild_plugin.V1.send