# HG changeset patch
# User wenzelm
# Date 1216219333 -7200
# Node ID 86608f598e9ffaeb9687a6d27258f767476233f7
# Parent  d96bd54d7446ad6bbc20dc7435c2ed85f9315dde
editor model: run interactively for now;

diff -r d96bd54d7446 -r 86608f598e9f 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));