Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed slip
authorhaftmann
Tue, 20 Mar 2007 08:27:19 +0100
changeset 22474 ecdaec8cf13a
parent 22473 753123c89d72
child 22475 bd3378255cc8
fixed slip
src/Provers/classical.ML file | annotate | diff | comparison | revisions 
--- 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