src/HOL/Tools/recfun_codegen.ML
changeset 36692 54b64d4ad524
parent 35225 dfbcff38c9ed
child 38864 4abe644fcea5
     1.1 --- a/src/HOL/Tools/recfun_codegen.ML	Wed May 05 09:24:42 2010 +0200
     1.2 +++ b/src/HOL/Tools/recfun_codegen.ML	Wed May 05 18:25:34 2010 +0200
     1.3 @@ -114,7 +114,7 @@
     1.4           in (case xs of
     1.5               [_] => (module, put_code module fundef gr2)
     1.6             | _ =>
     1.7 -             if not (dep mem xs) then
     1.8 +             if not (member (op =) xs dep) then
     1.9                 let
    1.10                   val thmss as (_, thyname) :: _ = map (get_equations thy defs) cs;
    1.11                   val module' = if_library thyname module;