# HG changeset patch
# User wenzelm
# Date 1221739618 -7200
# Node ID efd53393412b8a2e9ed4adb63356f24f3e5171c1
# Parent  09c812966e7f56aac782f56e432317a09a10a0f3
show: non-critical testing;

diff -r 09c812966e7f -r efd53393412b src/Pure/Isar/proof.ML
--- a/src/Pure/Isar/proof.ML	Thu Sep 18 14:06:56 2008 +0200
+++ b/src/Pure/Isar/proof.ML	Thu Sep 18 14:06:58 2008 +0200
@@ -947,7 +947,7 @@
       else ();
     val test_proof =
       (Seq.pull oo local_skip_proof) true
-      |> setmp testing true
+      |> setmp_noncritical testing true
       |> Exn.capture;
 
     fun after_qed' results =