From f5d9ecd90b64d29c9ee53a01cfb03f0e23794b57 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 4 Oct 2023 13:05:22 -0400
Subject: [PATCH] remove `Trace` module, since it conflicts with toplevel

---
 src/dune     | 3 +--
 src/trace.ml | 1 -
 test/t1.ml   | 2 ++
 3 files changed, 3 insertions(+), 3 deletions(-)
 delete mode 100644 src/trace.ml

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";