diff --git a/sledge/cli/sledge_cli.ml b/sledge/cli/sledge_cli.ml
index 90ba39d20..5631cb1d3 100644
--- a/sledge/cli/sledge_cli.ml
+++ b/sledge/cli/sledge_cli.ml
@@ -267,6 +267,8 @@ let readme () =
    module except the M.f function. The <spec> value * enables all debug \
    tracing."
 
+;;
+Memtrace.trace_if_requested ()
 ;;
 Printexc.record_backtrace Version.debug
 ;;
diff --git a/sledge/dune b/sledge/dune
index 1ceb87a65..d7d6f7b85 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -101,7 +101,8 @@
   (package sledge)
   (libraries apron apron.boxMPQ core ctypes ctypes.foreign dune-build-info
     llvm llvm.irreader llvm.analysis llvm.scalar_opts llvm.target llvm.ipo
-    llvm.linker shexp.process yojson trace nonstdlib sledge smtlib-utils)
+    llvm.linker memtrace shexp.process yojson trace nonstdlib sledge
+    smtlib-utils)
   (flags
    (:standard -w -58 -open NS -open Sledge))
   (preprocess
diff --git a/sledge/sledge.opam b/sledge/sledge.opam
index 3d824e4ad..f53fc851f 100644
--- a/sledge/sledge.opam
+++ b/sledge/sledge.opam
@@ -22,6 +22,7 @@ depends: [
   "dune-build-info" {build}
   "fpath"
   "iter"
+  "memtrace"
   "mtime"
   "ppx_compare"
   "ppx_hash"