# HG changeset patch
# User wenzelm
# Date 1596747262 -7200
# Node ID d9a42786fbc942579984fcc48f524c0b22fa68e9
# Parent  7b318273a4aa6658514d761958db94c059733eaf
more thorough cleanup, e.g. before ML_Heap.save;

diff -r 7b318273a4aa -r d9a42786fbc9 src/Pure/System/isabelle_process.ML
--- 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