Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/codegen_package.ML
changeset 21722 25239591e732
parent 21463 42dd50268c8b
child 21820 2f2b6a965ccc 
--- a/src/Pure/Tools/codegen_package.ML	Sat Dec 09 18:05:40 2006 +0100
+++ b/src/Pure/Tools/codegen_package.ML	Sat Dec 09 18:05:41 2006 +0100
@@ -211,7 +211,7 @@
   let
     val c' = CodegenConsts.norm_of_typ thy (c, ty_ctxt)
     val idf = CodegenNames.const thy c';
-    val ty_decl = Consts.declaration consts idf;
+    val ty_decl = Consts.the_declaration consts idf;
     val insts = (op ~~ o apsnd (map (snd o dest_TVar)) oo pairself)
       (curry (Consts.typargs consts) idf) (ty_ctxt, ty_decl);
     val _ = if exists not (map (Sign.of_sort thy) insts)
isabelle