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