src/Tools/Code/code_ml.ML
changeset 32123 8bac9ee4b28d
parent 31934 004c9a18e699
child 32740 9dd0a2f83429
--- a/src/Tools/Code/code_ml.ML	Tue Jul 21 15:44:31 2009 +0200
+++ b/src/Tools/Code/code_ml.ML	Tue Jul 21 15:44:31 2009 +0200
@@ -966,7 +966,7 @@
         val sml_code = "let\n" ^ value_code ^ "\nin " ^ value_name'
           ^ space_implode " " (map (enclose "(" ")") args) ^ " end";
       in ML_Context.evaluate ctxt false reff sml_code end;
-  in Code_Thingol.eval thy I postproc evaluator t end;
+  in Code_Thingol.eval thy postproc evaluator t end;
 
 
 (* instrumentalization by antiquotation *)