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/Isar/token.ML
changeset 50239 fb579401dc26
parent 50201 c26369c9eda6
child 51266 3007d0bc9cb1 
--- a/src/Pure/Isar/token.ML	Mon Nov 26 21:10:42 2012 +0100
+++ b/src/Pure/Isar/token.ML	Mon Nov 26 21:46:04 2012 +0100
@@ -311,7 +311,7 @@
 fun ident_or_symbolic "begin" = false
   | ident_or_symbolic ":" = true
   | ident_or_symbolic "::" = true
-  | ident_or_symbolic s = Lexicon.is_identifier s orelse is_symid s;
+  | ident_or_symbolic s = Symbol_Pos.is_identifier s orelse is_symid s;
 
 
 (* scan verbatim text *)
isabelle