author | haftmann |
Tue, 13 Apr 2010 11:13:52 +0200 | |
changeset 36121 | 86b952fc31da |
parent 36120 | dd6e69cdcc1e |
child 36122 | 45f8898fe4cf |
child 36124 | 6e600c7f0274 |
child 36126 | 00d550b6cfd4 |
1.1 --- a/src/Tools/Code/code_target.ML Mon Apr 12 19:29:16 2010 -0700 1.2 +++ b/src/Tools/Code/code_target.ML Tue Apr 13 11:13:52 2010 +0200 1.3 @@ -165,8 +165,6 @@ 1.4 1.5 val abort_allowed = snd o fst o Targets.get; 1.6 1.7 -val the_default_width = snd o Targets.get; 1.8 - 1.9 fun assert_target thy target = if Symtab.defined ((fst o fst) (Targets.get thy)) target 1.10 then target 1.11 else error ("Unknown code target language: " ^ quote target);