export EXCURSION_FAIL;

--- a/src/Pure/Isar/toplevel.ML	Mon Jul 14 19:20:57 2008 +0200
+++ b/src/Pure/Isar/toplevel.ML	Mon Jul 14 19:57:09 2008 +0200
@@ -38,8 +38,9 @@
   val profiling: int ref
   val skip_proofs: bool ref
   exception TERMINATE
+  exception EXCURSION_FAIL of exn * string
+  exception TOPLEVEL_ERROR
   exception CONTEXT of Proof.context * exn
-  exception TOPLEVEL_ERROR
   val exn_message: exn -> string
   val program: (unit -> 'a) -> 'a
   type transition