review fix

digama0 · digama0 · commit bcef87383f56 · 2024-09-25T15:03:15.000+02:00
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
 

-Original file line number
+Diff line change
@@ @@ -0,0 +1,6 @@ @@
 +signature Tracing =
 +sig
++
 +val trace_theory : string -> TheoryPP.struct_info_record -> unit
++
 +end