src/Tools/Compute_Oracle/am_compiler.ML

 	case !compiled_rewriter of 
 	    NONE => raise (Compile "cannot communicate with compiled function")
 	  | SOME r => (compiled_rewriter := NONE; r)
     end	
 
-fun compile eqs = 
+fun compile cache_patterns const_arity eqs = 
     let
 	val _ = if exists (fn (a,b,c) => not (null a)) eqs then raise Compile ("cannot deal with guards") else ()
 	val eqs = map (fn (a,b,c) => (b,c)) eqs
 	fun check (p, r) = if check_freevars (count_patternvars p) r then () else raise Compile ("unbound variables in rule") 
 	val _ = map (fn (p, r) =>