remove Trace module, since it conflicts with toplevel

This commit is contained in:
Simon Cruanes 2023-10-04 13:05:22 -04:00
parent 4624d1800c
commit f5d9ecd90b
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
3 changed files with 3 additions and 3 deletions

View file

@ -2,5 +2,4 @@
(name trace)
(public_name trace)
(synopsis "Lightweight stub for tracing")
(libraries (re_export trace.core))
)
(libraries (re_export trace.core)))

View file

@ -1 +0,0 @@
include Trace_core

View file

@ -1,3 +1,5 @@
module Trace = Trace_core
let run () =
Trace.set_process_name "main";
Trace.set_thread_name "t1";