# HG changeset patch
# User wenzelm
# Date 1361791031 -3600
# Node ID e8d2ecf6aaac7f357c6c7597da10d95ab2cd1f0e
# Parent  17d30843fc3b19b88c25cb49f569ed0bb3171fd0
tuned comment;

diff -r 17d30843fc3b -r e8d2ecf6aaac src/Pure/Isar/outer_syntax.ML
--- 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