diff --git a/src/dune b/src/dune
index 2f777e2..25c523d 100644
--- a/src/dune
+++ b/src/dune
@@ -2,5 +2,4 @@
  (name trace)
  (public_name trace)
  (synopsis "Lightweight stub for tracing")
- (libraries (re_export trace.core))
-)
+ (libraries (re_export trace.core)))
diff --git a/src/trace.ml b/src/trace.ml
deleted file mode 100644
index 5684517..0000000
--- a/src/trace.ml
+++ /dev/null
@@ -1 +0,0 @@
-include Trace_core
diff --git a/test/t1.ml b/test/t1.ml
index 87e4792..8dce375 100644
--- a/test/t1.ml
+++ b/test/t1.ml
@@ -1,3 +1,5 @@
+module Trace = Trace_core
+
 let run () =
   Trace.set_process_name "main";
   Trace.set_thread_name "t1";