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/HOL/Tools/ATP/atp_problem_generate.ML
changeset 67405 e9ab4ad7bd15
parent 67399 eab6ce8368fa
child 68250 c45067867860 
--- a/src/HOL/Tools/ATP/atp_problem_generate.ML	Thu Jan 11 12:32:07 2018 +0100
+++ b/src/HOL/Tools/ATP/atp_problem_generate.ML	Thu Jan 11 13:48:17 2018 +0100
@@ -1036,7 +1036,7 @@
   #> raw_mangled_const_name generic_mangled_type_name
 
 val parse_mangled_ident =
-  Scan.many1 (not o member (=) ["(", ")", ","]) >> implode
+  Scan.many1 (not o member (op =) ["(", ")", ","]) >> implode
 
 fun parse_mangled_type x =
   (parse_mangled_ident
isabelle