src/Tools/Code/code_target.ML
changeset 36121 86b952fc31da
parent 34248 6fb7dd3fd81a
child 36271 2ef9dbddfcb8
     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);