src/Pure/Thy/thm_deps.ML
changeset 20664 ffbc5a57191a
parent 20578 f26c8408a675
child 20854 f9cf9e62d11c
     1.1 --- a/src/Pure/Thy/thm_deps.ML	Thu Sep 21 19:04:12 2006 +0200
     1.2 +++ b/src/Pure/Thy/thm_deps.ML	Thu Sep 21 19:04:20 2006 +0200
     1.3 @@ -54,7 +54,7 @@
     1.4                      | NONE => [])
     1.5                   | _ => ["global"]);
     1.6              in
     1.7 -              if name mem parents' then (gra', parents union parents')
     1.8 +              if member (op =) parents' name then (gra', parents union parents')
     1.9                else (Symtab.update (name,
    1.10                  {name = Sign.base_name name, ID = name,
    1.11                   dir = space_implode "/" (session @ prefx),