src/Provers/Arith/abel_cancel.ML

--- a/src/Provers/Arith/abel_cancel.ML	Thu Mar 03 09:22:35 2005 +0100
+++ b/src/Provers/Arith/abel_cancel.ML	Thu Mar 03 12:43:01 2005 +0100
@@ -160,7 +160,7 @@
        val _ = if null common then raise Cancel  (*nothing to do*)
                                    else ()
 
-       fun cancelled tms = mk_sum ty (foldl cancel1 (tms, common))
+       fun cancelled tms = mk_sum ty (Library.foldl cancel1 (tms, common))
 
        val lt' = cancelled ltms
        and rt' = cancelled rtms