author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
Tue, 13 Apr 2010 11:40:55 +0200 | |
changeset 36124 | 6e600c7f0274 |
parent 36123 | 7f877bbad5b2 (current diff) |
parent 36121 | 86b952fc31da (diff) |
child 36125 | 890e60829e59 |
--- a/src/Tools/Code/code_target.ML Tue Apr 13 11:40:03 2010 +0200 +++ b/src/Tools/Code/code_target.ML Tue Apr 13 11:40:55 2010 +0200 @@ -165,8 +165,6 @@ val abort_allowed = snd o fst o Targets.get; -val the_default_width = snd o Targets.get; - fun assert_target thy target = if Symtab.defined ((fst o fst) (Targets.get thy)) target then target else error ("Unknown code target language: " ^ quote target);