src/FOLP/intprover.ML

--- a/src/FOLP/intprover.ML	Tue Sep 20 08:20:22 2005 +0200
+++ b/src/FOLP/intprover.ML	Tue Sep 20 08:21:49 2005 +0200
@@ -50,7 +50,7 @@
 
 (*0 subgoals vs 1 or more: the p in safep is for positive*)
 val (safe0_brls, safep_brls) =
-    List.partition (apl(0,op=) o subgoals_of_brl) safe_brls;
+    List.partition (curry (op =) 0 o subgoals_of_brl) safe_brls;
 
 (*Attack subgoals using safe inferences*)
 val safe_step_tac = FIRST' [uniq_assume_tac,