fix

Author: digama0

src/tracing/no/Tracing.sml

@@ -1,8 +1,7 @@
 signature Tracing =
 sig
 
-open TheoryPP
-val trace_theory : string -> struct_info_record -> unit
+val trace_theory : string -> TheoryPP.struct_info_record -> unit
 
 end
 

src/tracing/yes/Tracing.sml

@@ -14,7 +14,7 @@ fun trace_theory name
     ({theory,parents,types,constants,axioms,definitions,theorems,mldeps,...}: struct_info_record) = let
   val file = concat[".holobjs/",name,".tr"]
   val () = Portable.export(file, (theory,parents,types,constants,axioms,definitions,theorems,mldeps))
-  val _ = Unix.execute ("/usr/bin/gzip", [file])
+  val _ = Unix.execute ("/usr/bin/gzip", ["-f", file])
 in () end
 
 end