fixed slip
authorhaftmann
Tue Mar 20 08:27:19 2007 +0100 (2007-03-20)
changeset 22474ecdaec8cf13a
parent 22473 753123c89d72
child 22475 bd3378255cc8
fixed slip
src/Provers/classical.ML
     1.1 --- a/src/Provers/classical.ML	Tue Mar 20 08:27:15 2007 +0100
     1.2 +++ b/src/Provers/classical.ML	Tue Mar 20 08:27:19 2007 +0100
     1.3 @@ -608,7 +608,7 @@
     1.4            if keyi = key then p :: xs else q :: over xs
     1.5        | over [] = [p];
     1.6    in (
     1.7 -    if AList.defined (op =) xs key then () else warning msg;
     1.8 +    if AList.defined (op =) xs key then warning msg else ();
     1.9      over xs
    1.10    ) end;
    1.11