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/ProofGeneral/parsing.ML
changeset 21966 edab0ecfbd7c
parent 21902 8e5e2571c716
child 21971 513e1d82640d 
--- a/src/Pure/ProofGeneral/parsing.ML	Sat Dec 30 16:08:05 2006 +0100
+++ b/src/Pure/ProofGeneral/parsing.ML	Sat Dec 30 16:08:06 2006 +0100
@@ -300,7 +300,7 @@
 
     fun match_tokens ([],us,vs) = (rev vs,us)  (* used, unused *)
       | match_tokens (t::ts, w::ws, vs) =
-        if OuterLex.eq_token (t, w)
+        if (t: OuterLex.token) = w  (* FIXME !? *)
           then match_tokens (ts, ws, w::vs)
           else match_tokens (t::ts, ws, w::vs)
       | match_tokens _ = error ("match_tokens: mismatched input parse")
isabelle