| changeset 31157 | 6e1e8e194562 |
| parent 31145 | 427c0a5da633 |
| parent 31153 | 6b31b143f18b |
| child 32071 | b4a48533ce0c |
--- a/src/Pure/codegen.ML Thu May 14 11:00:42 2009 +0200 +++ b/src/Pure/codegen.ML Thu May 14 15:11:41 2009 +0200 @@ -329,7 +329,7 @@ end; val assoc_const_i = gen_assoc_const (K I); -val assoc_const = gen_assoc_const Code_Unit.read_bare_const; +val assoc_const = gen_assoc_const Code.read_bare_const; (**** associate types with target language types ****)