diff --git a/src/tef/dune b/src/tef/dune
index 4dcd4df..7fd3a4a 100644
--- a/src/tef/dune
+++ b/src/tef/dune
@@ -3,4 +3,4 @@
   (name trace_tef)
   (public_name trace-tef)
   (synopsis "Simple and lightweight tracing using TEF/Catapult format, in-process")
-  (libraries trace mtime mtime.clock.os unix threads))
+  (libraries trace.core mtime mtime.clock.os unix threads))
diff --git a/src/tef/trace_tef.ml b/src/tef/trace_tef.ml
index e79885a..810d9d3 100644
--- a/src/tef/trace_tef.ml
+++ b/src/tef/trace_tef.ml
@@ -1,5 +1,5 @@
-open Trace
-module A = Trace.Internal_.Atomic_
+open Trace_core
+module A = Trace_core.Internal_.Atomic_
 
 module Mock_ = struct
   let enabled = ref false
@@ -323,25 +323,25 @@ let collector ~out () : collector =
 
 let setup ?(out = `Env) () =
   match out with
-  | `Stderr -> Trace.setup_collector @@ collector ~out:`Stderr ()
-  | `Stdout -> Trace.setup_collector @@ collector ~out:`Stdout ()
-  | `File path -> Trace.setup_collector @@ collector ~out:(`File path) ()
+  | `Stderr -> Trace_core.setup_collector @@ collector ~out:`Stderr ()
+  | `Stdout -> Trace_core.setup_collector @@ collector ~out:`Stdout ()
+  | `File path -> Trace_core.setup_collector @@ collector ~out:(`File path) ()
   | `Env ->
     (match Sys.getenv_opt "TRACE" with
     | Some "1" ->
       let path = "trace.json" in
       let c = collector ~out:(`File path) () in
-      Trace.setup_collector c
-    | Some "stdout" -> Trace.setup_collector @@ collector ~out:`Stdout ()
-    | Some "stderr" -> Trace.setup_collector @@ collector ~out:`Stderr ()
+      Trace_core.setup_collector c
+    | Some "stdout" -> Trace_core.setup_collector @@ collector ~out:`Stdout ()
+    | Some "stderr" -> Trace_core.setup_collector @@ collector ~out:`Stderr ()
     | Some path ->
       let c = collector ~out:(`File path) () in
-      Trace.setup_collector c
+      Trace_core.setup_collector c
     | None -> ())
 
 let with_setup ?out () f =
   setup ?out ();
-  protect ~finally:Trace.shutdown f
+  protect ~finally:Trace_core.shutdown f
 
 module Internal_ = struct
   let mock_all_ () = Mock_.enabled := true
diff --git a/src/tef/trace_tef.mli b/src/tef/trace_tef.mli
index 5385e37..5efa19f 100644
--- a/src/tef/trace_tef.mli
+++ b/src/tef/trace_tef.mli
@@ -1,5 +1,5 @@
 val collector :
-  out:[ `File of string | `Stderr | `Stdout ] -> unit -> Trace.collector
+  out:[ `File of string | `Stderr | `Stdout ] -> unit -> Trace_core.collector
 (** Make a collector that writes into the given output.
     See {!setup} for more details. *)