Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_syntax.scala
changeset 57906 020df63dd0a9
parent 57905 c0c5652e796e
child 59077 7e0d3da6e6d8 
--- a/src/Pure/Thy/thy_syntax.scala	Tue Aug 12 00:08:32 2014 +0200
+++ b/src/Pure/Thy/thy_syntax.scala	Tue Aug 12 00:17:02 2014 +0200
@@ -168,7 +168,7 @@
   {
     val cmds0 = commands.iterator(first, last).toList
     val blobs_spans0 =
-      syntax.parse_spans(syntax.scan(cmds0.iterator.map(_.source).mkString)).
+      syntax.parse_spans(cmds0.iterator.map(_.source).mkString).
         map(span => (Command_Span.resolve_files(resources, syntax, name, span, get_blob), span))
 
     val (cmds1, blobs_spans1) = chop_common(cmds0, blobs_spans0)
isabelle