diff -r 75063f96618f -r 6e69e0031f34 src/Tools/Compute_Oracle/am_sml.ML
--- a/src/Tools/Compute_Oracle/am_sml.ML	Thu Aug 02 21:45:07 2007 +0200
+++ b/src/Tools/Compute_Oracle/am_sml.ML	Thu Aug 02 22:16:49 2007 +0200
@@ -53,7 +53,7 @@
 fun update_arity arity code a = 
     (case Inttab.lookup arity code of
 	 NONE => Inttab.update_new (code, a) arity
-       | SOME a' => if a > a' then Inttab.update (code, a) arity else arity)
+       | SOME (a': int) => if a > a' then Inttab.update (code, a) arity else arity)
 
 (* We have to find out the maximal arity of each constant *)
 fun collect_pattern_arity PVar arity = arity