diff --git a/sledge/src/config.ml b/sledge/src/config.ml
index 44b36196e..a27e7df85 100644
--- a/sledge/src/config.ml
+++ b/sledge/src/config.ml
@@ -33,4 +33,4 @@ let find key = Yojson.Basic.Util.(to_string_option (member key contents))
 let find_exn key =
   match find key with
   | Some data -> data
-  | None -> fail "%s not specified in config file %s" key config_file
+  | None -> fail "%s not specified in config file %s" key config_file ()
diff --git a/sledge/src/dune.in b/sledge/src/dune.in
index d9f068a57..edac33e36 100644
--- a/sledge/src/dune.in
+++ b/sledge/src/dune.in
@@ -6,7 +6,7 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-let deps = ["import"; "trace"; "llair_"; "symbheap"]
+let deps = ["import"; "llair_"; "symbheap"]
 
 ;;
 Jbuild_plugin.V1.send
diff --git a/sledge/src/symbheap/dune.in b/sledge/src/symbheap/dune.in
index 29895d9f9..c0874d20a 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"; "trace"; "llair_"]
+let deps = ["import"; "llair_"]
 
 ;;
 Jbuild_plugin.V1.send
diff --git a/sledge/src/symbheap/equality_test.ml b/sledge/src/symbheap/equality_test.ml
index d92890fb7..7bf8a8ee5 100644
--- a/sledge/src/symbheap/equality_test.ml
+++ b/sledge/src/symbheap/equality_test.ml
@@ -9,7 +9,7 @@ let%test_module _ =
   ( module struct
     open Equality
 
-    let () = Trace.init ~margin:68 ~config:none ()
+    let () = Trace.init ~margin:68 ~config:Trace.none ()
 
     (* let () = Trace.init ~margin:160 ~config:all () *)
     let printf pp = Format.printf "@\n%a@." pp
diff --git a/sledge/src/symbheap/sh_test.ml b/sledge/src/symbheap/sh_test.ml
index 37bf67f0d..293adc2ab 100644
--- a/sledge/src/symbheap/sh_test.ml
+++ b/sledge/src/symbheap/sh_test.ml
@@ -9,7 +9,7 @@ let%test_module _ =
   ( module struct
     (* let () = Trace.init ~margin:68 ~config:all () *)
 
-    let () = Trace.init ~margin:68 ~config:none ()
+    let () = Trace.init ~margin:68 ~config:Trace.none ()
     let pp = Format.printf "@\n%a@." Sh.pp
     let pp_djn = Format.printf "@\n%a@." Sh.pp_djn
     let ( ~$ ) = Var.Set.of_list