1.1 --- a/src/HOL/Tools/function_package/scnp_solve.ML	Wed Mar 04 10:43:39 2009 +0100
     1.2 +++ b/src/HOL/Tools/function_package/scnp_solve.ML	Wed Mar 04 10:45:52 2009 +0100
     1.3 @@ -46,7 +46,7 @@
     1.4  fun num_prog_pts (GP (arities, _)) = length arities ;
     1.5  fun num_graphs (GP (_, gs)) = length gs ;
     1.6  fun arity (GP (arities, gl)) i = nth arities i ;
     1.7 -fun ndigits (GP (arities, _)) = IntInf.log2 (foldl (op +) 0 arities) + 1
     1.8 +fun ndigits (GP (arities, _)) = IntInf.log2 (List.foldl (op +) 0 arities) + 1
     1.9  
    1.10  
    1.11  (** Propositional formulas **)
    1.12 @@ -79,7 +79,7 @@
    1.13  fun var_constrs (gp as GP (arities, gl)) =
    1.14    let
    1.15      val n = Int.max (num_graphs gp, num_prog_pts gp)
    1.16 -    val k = foldl Int.max 1 arities
    1.17 +    val k = List.foldl Int.max 1 arities
    1.18  
    1.19      (* Injective, provided  a < 8, x < n, and i < k. *)
    1.20      fun prod a x i j = ((j * k + i) * n + x) * 8 + a + 1