# HG changeset patch
# User wenzelm
# Date 1281480429 -7200
# Node ID dc53026c6350fcc1bb5a00e489af8ea9b0abd71c
# Parent  36187e8443dd98f3a4d82a5933c79e22c4b1a7cc
tuned;

diff -r 36187e8443dd -r dc53026c6350 src/Pure/System/isar.ML
--- a/src/Pure/System/isar.ML	Wed Aug 11 00:46:07 2010 +0200
+++ b/src/Pure/System/isar.ML	Wed Aug 11 00:47:09 2010 +0200
@@ -127,7 +127,7 @@
         handle crash =>
           (CRITICAL (fn () => Unsynchronized.change crashes (cons crash));
             warning "Recovering from Isar toplevel crash -- see also Isar.crashes");
-          raw_loop secure src)
+        raw_loop secure src)
   end;
 
 in