# HG changeset patch
# User haftmann
# Date 1284965617 -7200
# Node ID 41afe7124aa6d720c9d8ddc634b84fc78b32dda3
# Parent  c62359dd253db692fa5b81530ca3ab02752c99df
made smlnj happy

diff -r c62359dd253d -r 41afe7124aa6 src/Tools/Code/code_runtime.ML
--- 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