src/Pure/Isar/isar.ML

--- a/src/Pure/Isar/isar.ML	Wed Jul 16 16:39:11 2008 +0200
+++ b/src/Pure/Isar/isar.ML	Wed Jul 16 16:42:13 2008 +0200
@@ -346,7 +346,7 @@
   (case try the_state (prev_command id) of
     NONE => ()
   | SOME state =>
-      (case run false (#transition (the_command id)) state of
+      (case run true (#transition (the_command id)) state of
         NONE => ()
       | SOME status => update_status status id));