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/Syntax/parser.ML
changeset 81017 bc5eb7841b74
parent 81015 ddbfb398d892
child 81119 faccef6c0806 
--- a/src/Pure/Syntax/parser.ML	Mon Sep 30 11:42:52 2024 +0200
+++ b/src/Pure/Syntax/parser.ML	Mon Sep 30 12:59:50 2024 +0200
@@ -574,7 +574,7 @@
               | ord => ord)
           | ord => ord)
       | (Tip_Op t :: rest, Tip_Op t' :: rest') =>
-          (case Lexicon.token_ord (t, t') of
+          (case Lexicon.token_content_ord (t, t') of
             EQUAL => tree_ops_ord (rest, rest')
           | ord => ord)
       | (Node_Op _ :: _, Tip_Op _ :: _) => LESS
isabelle