src/Provers/classical.ML

--- a/src/Provers/classical.ML	Sun Mar 01 16:48:06 2009 +0100
+++ b/src/Provers/classical.ML	Sun Mar 01 23:36:12 2009 +0100
@@ -223,7 +223,7 @@
     let fun addrl (rl,brls) = (false, rl) :: (true, rl RSN (2, Data.swap)) :: brls
     in  assume_tac      ORELSE'
         contr_tac       ORELSE'
-        biresolve_tac (foldr addrl [] rls)
+        biresolve_tac (List.foldr addrl [] rls)
     end;
 
 (*Duplication of hazardous rules, for complete provers*)