src/Tools/Code/code_target.ML

     ((Symtab.join (merge_target true) (target1, target2),
       Library.merge (op =) (exc1, exc2)), Int.max (width1, width2));
 );
 
 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);