# HG changeset patch
# User haftmann
# Date 1271150032 -7200
# Node ID 86b952fc31dab8bd963895c00b6118f4475e490f
# Parent  dd6e69cdcc1ed1745cfcdcd0abf288bae508d272
dropped dead code

diff -r dd6e69cdcc1e -r 86b952fc31da 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);