src/Pure/Isar/toplevel.ML

       | None => raise FAIL (TERMINATE, at_command tr));
 
 fun excursion trs =
   (case excur trs (State []) of
     State [] => ()
-  | _ => raise ERROR_MESSAGE "Pending blocks at end of excursion");
+  | _ => raise ERROR_MESSAGE "Open block(s) pending at end of input");
 
 
 
 (** interactive transformations **)