src/FOL/intprover.ML
changeset 15570 8d8c70b41bab
parent 5203 eb5a1511a07d
child 17496 26535df536ae
--- a/src/FOL/intprover.ML	Thu Mar 03 09:22:35 2005 +0100
+++ b/src/FOL/intprover.ML	Thu Mar 03 12:43:01 2005 +0100
@@ -60,7 +60,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 -- matching, not resolution*)
 val safe_step_tac = FIRST' [eq_assume_tac,