Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Provers/classical.ML
changeset 22474 ecdaec8cf13a
parent 22468 01751f5b0657
child 22674 1a610904bbca 
--- 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;
isabelle