--- a/src/Pure/Isar/outer_syntax.ML Mon Feb 25 11:07:02 2013 +0100
+++ b/src/Pure/Isar/outer_syntax.ML Mon Feb 25 12:17:11 2013 +0100
@@ -293,7 +293,7 @@
end;
-(* read toplevel commands -- fail-safe *)
+(* read command span -- fail-safe *)
fun read_span outer_syntax toks =
let