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/codegen.ML
changeset 28054 2b84d34c5d02
parent 27758 c1e60d8cba07
child 28227 77221ee0f7b9 
--- a/src/Pure/codegen.ML	Thu Aug 28 22:08:11 2008 +0200
+++ b/src/Pure/codegen.ML	Thu Aug 28 22:09:20 2008 +0200
@@ -376,7 +376,7 @@
   end;
 
 val assoc_const_i = gen_assoc_const (K I);
-val assoc_const = gen_assoc_const CodeUnit.read_bare_const;
+val assoc_const = gen_assoc_const Code_Unit.read_bare_const;
 
 
 (**** associate types with target language types ****)
isabelle