[sledge] Add missing import of trace into symbheap

Reviewed By: ngorogiannis Differential Revision: D17665241 fbshipit-source-id: 6f70e2925
5 years ago · ed733f0247
parent 1fdc76d163
commit ed733f0247
1 changed files with 1 additions and 1 deletions
--- 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