--- a/src/FOLP/classical.ML Tue Sep 20 08:20:22 2005 +0200
+++ b/src/FOLP/classical.ML Tue Sep 20 08:21:49 2005 +0200
@@ -112,7 +112,7 @@
(*Note that allE precedes exI in haz_brls*)
fun make_cs {safeIs,safeEs,hazIs,hazEs} =
let val (safe0_brls, safep_brls) = (*0 subgoals vs 1 or more*)
- List.partition (apl(0,op=) o subgoals_of_brl)
+ List.partition (curry (op =) 0 o subgoals_of_brl)
(sort (make_ord lessb) (joinrules(safeIs, safeEs)))
in CS{safeIs=safeIs, safeEs=safeEs, hazIs=hazIs, hazEs=hazEs,
safe0_brls=safe0_brls, safep_brls=safep_brls,