src/Tools/Code/code_target.ML

--- a/src/Tools/Code/code_target.ML	Mon Apr 12 19:29:16 2010 -0700
+++ b/src/Tools/Code/code_target.ML	Tue Apr 13 11:13:52 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);