diff -r b4ca3100e818 -r c814a7856121 src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Wed Feb 15 21:35:09 2006 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Wed Feb 15 21:35:11 2006 +0100
@@ -37,7 +37,7 @@
   val print_commands: Toplevel.transition -> Toplevel.transition
   val add_keywords: string list -> unit
   val add_parsers: parser list -> unit
-  val check_text: string * Position.T -> Toplevel.state -> unit
+  val check_text: string * Position.T -> Toplevel.node option -> unit
   val deps_thy: string -> bool -> Path.T -> string list * Path.T list
   val load_thy: string -> bool -> bool -> Path.T -> unit
   val isar: bool -> bool -> unit Toplevel.isar