src/Pure/Isar/outer_syntax.ML
changeset 51271 e8d2ecf6aaac
parent 51268 fcc4b89a600d
child 51627 589daaf48dba
--- 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