--- 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