Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more thorough cleanup, e.g. before ML_Heap.save;
authorwenzelm
Thu, 06 Aug 2020 22:54:22 +0200
changeset 72104 d9a42786fbc9
parent 72103 7b318273a4aa
child 72105 a1fb4d28e609
more thorough cleanup, e.g. before ML_Heap.save;
src/Pure/System/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_process.ML	Thu Aug 06 22:43:40 2020 +0200
+++ b/src/Pure/System/isabelle_process.ML	Thu Aug 06 22:54:22 2020 +0200
@@ -213,6 +213,7 @@
     val _ = BinIO.closeIn in_stream;
     val _ = BinIO.closeOut out_stream;
 
+    val _ = Options.reset_default ();
   in
     (case result of
       Exn.Exn (STOP rc) => if rc = 0 then () else exit rc
isabelle