diff -r 6a72af4e84b8 -r b4534348b8fd src/Provers/Arith/fast_lin_arith.ML
--- a/src/Provers/Arith/fast_lin_arith.ML	Thu Oct 29 16:59:12 2009 +0100
+++ b/src/Provers/Arith/fast_lin_arith.ML	Thu Oct 29 17:58:26 2009 +0100
@@ -340,7 +340,7 @@
   case ty  of Eq => k <> 0 | Le => k > 0 | Lt => k >= 0;
 
 fun calc_blowup l =
-  let val (p,n) = List.partition (curry (op <) 0) (List.filter (curry (op <>) 0) l)
+  let val (p,n) = List.partition (curry (op <) 0) (filter (curry (op <>) 0) l)
   in length p * length n end;
 
 (* ------------------------------------------------------------------------- *)