src/Tools/Compute_Oracle/am_compiler.ML

--- a/src/Tools/Compute_Oracle/am_compiler.ML	Mon Dec 03 16:04:17 2007 +0100
+++ b/src/Tools/Compute_Oracle/am_compiler.ML	Mon Dec 03 17:47:35 2007 +0100
@@ -192,7 +192,7 @@
 	  | 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