Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SymbolPos.explode;
authorwenzelm
Thu, 07 Aug 2008 13:45:15 +0200
changeset 27774 51c7b1baaf35
parent 27773 a52166b228b9
child 27775 a9d16f8b997a
SymbolPos.explode;
src/Pure/Syntax/simple_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/simple_syntax.ML	Thu Aug 07 13:45:13 2008 +0200
+++ b/src/Pure/Syntax/simple_syntax.ML	Thu Aug 07 13:45:15 2008 +0200
@@ -32,7 +32,7 @@
 
 fun read scan s =
   (case
-      Symbol.explode s |>
+      SymbolPos.explode (s, Position.none) |>
       Lexicon.tokenize lexicon false |>
       Scan.read stopper scan of
     SOME x => x
isabelle