# HG changeset patch
# User haftmann
# Date 1179988662 -7200
# Node ID 9669110656b9783a9294510bb1a8300116a3fee8
# Parent  a3f11e0ae90fcea742a3983fed8ce728bd7b3cb1
tuned

diff -r a3f11e0ae90f -r 9669110656b9 src/Pure/Tools/codegen_package.ML
--- 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);