src/Provers/trancl.ML
changeset 36692 54b64d4ad524
parent 35281 206e2f1759cc
child 37744 3daaf23b9ab4
     1.1 --- a/src/Provers/trancl.ML	Wed May 05 09:24:42 2010 +0200
     1.2 +++ b/src/Provers/trancl.ML	Wed May 05 18:25:34 2010 +0200
     1.3 @@ -452,8 +452,8 @@
     1.4  
     1.5     fun processTranclEdges [] = raise Cannot
     1.6     |   processTranclEdges (e::es) =
     1.7 -          if (upper e) mem Vx andalso (lower e) mem Vx
     1.8 -          andalso (upper e) mem Vy andalso (lower e) mem Vy
     1.9 +          if member (op =) Vx (upper e) andalso member (op =) Vx (lower e)
    1.10 +          andalso member (op =) Vy (upper e) andalso member (op =) Vy (lower e)
    1.11            then (
    1.12  
    1.13