dropped dead code
authorhaftmann
Tue Apr 13 11:13:52 2010 +0200 (2010-04-13)
changeset 3612186b952fc31da
parent 36120 dd6e69cdcc1e
child 36122 45f8898fe4cf
child 36124 6e600c7f0274
child 36126 00d550b6cfd4
dropped dead code
src/Tools/Code/code_target.ML
     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);