src/Pure/Isar/proof.ML
changeset 39616 8052101883c3
parent 39232 69c6d3e87660
child 40132 7ee65dbffa31
--- a/src/Pure/Isar/proof.ML	Wed Sep 22 17:46:59 2010 +0200
+++ b/src/Pure/Isar/proof.ML	Wed Sep 22 18:21:48 2010 +0200
@@ -976,7 +976,7 @@
       else ();
     val test_proof =
       try (local_skip_proof true)
-      |> setmp_noncritical testing true
+      |> Unsynchronized.setmp testing true
       |> Exn.capture;
 
     fun after_qed' results =