--- a/src/Pure/System/session.ML Sun May 12 18:22:44 2013 +0200
+++ b/src/Pure/System/session.ML Sun May 12 19:56:30 2013 +0200
@@ -112,7 +112,9 @@
parent ("Unsorted", name) doc_dump verbose;
val res1 = (use |> with_timing item timing |> Exn.capture) root;
val res2 = Exn.capture finish ();
- in ignore (Par_Exn.release_all [res1, res2]) end)
+ val _ = ignore (Par_Exn.release_all [res1, res2]);
+ val _ = Options.reset_default ();
+ in () end)
|> Unsynchronized.setmp Proofterm.proofs level
|> Unsynchronized.setmp print_mode (modes @ print_mode_value ())
|> Unsynchronized.setmp Goal.parallel_proofs parallel_proofs