src/Tools/Code/code_preproc.ML

--- a/src/Tools/Code/code_preproc.ML	Sun Jan 03 15:09:02 2010 +0100
+++ b/src/Tools/Code/code_preproc.ML	Mon Jan 04 14:09:56 2010 +0100
@@ -454,8 +454,8 @@
 
 (** retrieval and evaluation interfaces **)
 
-fun obtain thy cs ts = apsnd snd
-  (Wellsorted.change_yield thy (extend_arities_eqngr thy cs ts));
+fun obtain theory cs ts = apsnd snd
+  (Wellsorted.change_yield theory (fn thy => extend_arities_eqngr thy cs ts));
 
 fun gen_eval thy cterm_of conclude_evaluation evaluator proto_ct =
   let