src/Tools/Code/code_simp.ML

--- a/src/Tools/Code/code_simp.ML	Tue Dec 21 08:40:39 2010 +0100
+++ b/src/Tools/Code/code_simp.ML	Tue Dec 21 09:18:29 2010 +0100
@@ -68,7 +68,7 @@
 
 fun static_conv thy some_ss consts =
   Code_Thingol.static_conv_simple thy consts
-    (fn program => fn thy => fn _ => fn _ => rewrite_modulo thy some_ss program);
+    (fn program => fn _ => fn _ => rewrite_modulo thy some_ss program);
 
 fun static_tac thy some_ss consts = CONVERSION (static_conv thy some_ss consts)
   THEN' conclude_tac thy some_ss;