diff -r 179ff9cb160b -r 5b25fee0362c src/HOL/Tools/function_package/scnp_solve.ML
--- a/src/HOL/Tools/function_package/scnp_solve.ML	Wed Mar 04 10:43:39 2009 +0100
+++ b/src/HOL/Tools/function_package/scnp_solve.ML	Wed Mar 04 10:45:52 2009 +0100
@@ -46,7 +46,7 @@
 fun num_prog_pts (GP (arities, _)) = length arities ;
 fun num_graphs (GP (_, gs)) = length gs ;
 fun arity (GP (arities, gl)) i = nth arities i ;
-fun ndigits (GP (arities, _)) = IntInf.log2 (foldl (op +) 0 arities) + 1
+fun ndigits (GP (arities, _)) = IntInf.log2 (List.foldl (op +) 0 arities) + 1
 
 
 (** Propositional formulas **)
@@ -79,7 +79,7 @@
 fun var_constrs (gp as GP (arities, gl)) =
   let
     val n = Int.max (num_graphs gp, num_prog_pts gp)
-    val k = foldl Int.max 1 arities
+    val k = List.foldl Int.max 1 arities
 
     (* Injective, provided  a < 8, x < n, and i < k. *)
     fun prod a x i j = ((j * k + i) * n + x) * 8 + a + 1