tuned

--- a/src/Pure/Tools/codegen_package.ML	Thu May 24 08:37:41 2007 +0200
+++ b/src/Pure/Tools/codegen_package.ML	Thu May 24 08:37:42 2007 +0200
@@ -548,9 +548,9 @@
     val cs = map_filter (Consttab.lookup ((snd o snd o CodegenPackageData.get) thy))
       (CodegenFuncgr.all funcgr);
     val funcgr' = Funcgr.make thy cs;
-    val qnaming = NameSpace.qualified_names NameSpace.default_naming;
+    val naming = NameSpace.qualified_names NameSpace.default_naming;
     val consttab = Consts.empty
-      |> fold (fn c => Consts.declare qnaming
+      |> fold (fn c => Consts.declare naming
            ((CodegenNames.const thy c, CodegenFuncgr.typ funcgr' c), true))
            (CodegenFuncgr.all funcgr');
     val algbr = (CodegenData.operational_algebra thy, consttab);