src/Pure/Isar/toplevel.ML
changeset 37852 a902f158b4fc
parent 37711 f1ea60bb7754
child 37856 173974e07dea
     1.1 --- a/src/Pure/Isar/toplevel.ML	Tue Jul 20 14:41:13 2010 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Tue Jul 20 14:44:33 2010 +0200
     1.3 @@ -699,7 +699,7 @@
     1.4  
     1.5          val states =
     1.6            (case States.get (presentation_context_of st'') of
     1.7 -            NONE => sys_error ("No future states for " ^ name_of tr ^ Position.str_of (pos_of tr))
     1.8 +            NONE => raise Fail ("No future states for " ^ name_of tr ^ Position.str_of (pos_of tr))
     1.9            | SOME states => states);
    1.10          val result = Lazy.lazy
    1.11            (fn () => (tr, st') :: (body_trs ~~ Future.join states) @ [(end_tr, st'')]);