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/Predicate_Compile/predicate_compile_core.ML
changeset 36692 54b64d4ad524
parent 36610 bafd82950e24
child 37001 bcffdb899167 
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Wed May 05 09:24:42 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Wed May 05 18:25:34 2010 +0200
@@ -2178,7 +2178,7 @@
       val constr_consts = maps (fn (_, (_, _, constrs)) => map fst constrs) (#descr info)
       val (c, _) = strip_comb t
       in (case c of
-        Const (name, _) => name mem_string constr_consts
+        Const (name, _) => member (op =) constr_consts name
         | _ => false) end))
   else false
isabelle