review fix

HOL-Theorem-Prover · Sep 23, 2024 · 854cb5b · 854cb5b
1 parent 23f7d07
commit 854cb5b
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 18 deletions.
diff --git a/src/tracing/no/Holmakefile b/src/tracing/no/Holmakefile
diff --git a/src/tracing/no/Tracing.sig b/src/tracing/no/Tracing.sig
@@ -0,0 +1,6 @@
+signature Tracing =
+sig
+
+val trace_theory : string -> TheoryPP.struct_info_record -> unit
+
+end
diff --git a/src/tracing/no/Tracing.sml b/src/tracing/no/Tracing.sml
@@ -1,10 +1,3 @@
-signature Tracing =
-sig
-
-val trace_theory : string -> TheoryPP.struct_info_record -> unit
-
-end
-
 structure Tracing :> Tracing =
 struct
 

diff --git a/src/tracing/yes/Holmakefile b/src/tracing/yes/Holmakefile
diff --git a/src/tracing/yes/Tracing.sig b/src/tracing/yes/Tracing.sig
@@ -0,0 +1,6 @@
+signature Tracing =
+sig
+
+val trace_theory : string -> TheoryPP.struct_info_record -> unit
+
+end
diff --git a/src/tracing/yes/Tracing.sml b/src/tracing/yes/Tracing.sml
@@ -1,10 +1,3 @@
-signature Tracing =
-sig
-
-val trace_theory : string -> TheoryPP.struct_info_record -> unit
-
-end
-
 structure Tracing :> Tracing =
 struct