--- a/src/Provers/Arith/fast_lin_arith.ML Fri Jun 08 18:13:58 2007 +0200
+++ b/src/Provers/Arith/fast_lin_arith.ML Sat Jun 09 00:28:46 2007 +0200
@@ -499,9 +499,9 @@
end;
fun coeff poly atom =
- AList.lookup (op =) poly atom |> the_default Integer.zero;
+ AList.lookup (op =) poly atom |> the_default (0: integer);
-fun lcms ks = fold Integer.lcm ks Integer.one;
+fun lcms ks = fold Integer.lcm ks 1;
fun integ(rlhs,r,rel,rrhs,s,d) =
let val (rn,rd) = Rat.quotient_of_rat r and (sn,sd) = Rat.quotient_of_rat s