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