src/HOL/Tools/Function/scnp_solve.ML

--- a/src/HOL/Tools/Function/scnp_solve.ML	Mon Oct 19 16:47:21 2009 +0200
+++ b/src/HOL/Tools/Function/scnp_solve.ML	Mon Oct 19 21:54:57 2009 +0200
@@ -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 (List.foldl (op +) 0 arities) + 1
+fun ndigits (GP (arities, _)) = IntInf.log2 (Integer.sum arities) + 1
 
 
 (** Propositional formulas **)