# HG changeset patch
# User wenzelm
# Date 918245013 -3600
# Node ID daecd68ecc8c38a7533e231251bdc9689ac2c3f4
# Parent  fb293dfa2df3a545215e843b1c01f11b120510e1
improved msg;

diff -r fb293dfa2df3 -r daecd68ecc8c src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Fri Feb 05 21:03:06 1999 +0100
+++ b/src/Pure/Isar/toplevel.ML	Fri Feb 05 21:03:33 1999 +0100
@@ -343,7 +343,7 @@
 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");