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