# HG changeset patch
# User haftmann
# Date 1174375639 -3600
# Node ID ecdaec8cf13acb07e521ad07753730faaad2203d
# Parent  753123c89d721298c3e463a051e8199b8f083ebc
fixed slip

diff -r 753123c89d72 -r ecdaec8cf13a src/Provers/classical.ML
--- a/src/Provers/classical.ML	Tue Mar 20 08:27:15 2007 +0100
+++ b/src/Provers/classical.ML	Tue Mar 20 08:27:19 2007 +0100
@@ -608,7 +608,7 @@
           if keyi = key then p :: xs else q :: over xs
       | over [] = [p];
   in (
-    if AList.defined (op =) xs key then () else warning msg;
+    if AList.defined (op =) xs key then warning msg else ();
     over xs
   ) end;