# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1271151655 -7200
# Node ID 6e600c7f0274d96820b2bbe61e9397576b5dd0bd
# Parent  7f877bbad5b2474949e5bc70f48c8c636425e859# Parent  86b952fc31dab8bd963895c00b6118f4475e490f
merge

diff -r 7f877bbad5b2 -r 6e600c7f0274 src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Tue Apr 13 11:40:03 2010 +0200
+++ b/src/Tools/Code/code_target.ML	Tue Apr 13 11:40:55 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);