--- a/src/Tools/Code/code_runtime.ML Sun Sep 19 11:33:39 2010 +0200
+++ b/src/Tools/Code/code_runtime.ML Mon Sep 20 08:53:37 2010 +0200
@@ -63,7 +63,7 @@
fun obtain_serializer thy some_target = Code_Target.produce_code_for thy
(the_default target some_target) NONE "Code" [];
-fun base_evaluator cookie serializer naming thy program ((vs, ty), t) deps args =
+fun base_evaluator cookie serializer (naming : Code_Thingol.naming) thy program ((vs, ty), t) deps args =
let
val ctxt = ProofContext.init_global thy;
val _ = if Code_Thingol.contains_dictvar t then