src/FOLP/intprover.ML

--- a/src/FOLP/intprover.ML	Thu Mar 03 09:22:35 2005 +0100
+++ b/src/FOLP/intprover.ML	Thu Mar 03 12:43:01 2005 +0100
@@ -50,7 +50,7 @@
 
 (*0 subgoals vs 1 or more: the p in safep is for positive*)
 val (safe0_brls, safep_brls) =
-    partition (apl(0,op=) o subgoals_of_brl) safe_brls;
+    List.partition (apl(0,op=) o subgoals_of_brl) safe_brls;
 
 (*Attack subgoals using safe inferences*)
 val safe_step_tac = FIRST' [uniq_assume_tac,