# HG changeset patch
# User Florian Pose <fp@igh-essen.com>
# Date 1213796683 0
# Node ID d7970e934dba7f8e828f722824176bcc8bdb5d33
# Parent  61ffe5f2230622392bc4848b642432db90a342d0
Bugfix: Bitlength always decimal in XML.

diff -r 61ffe5f22306 -r d7970e934dba tools/Master.cpp
--- a/tools/Master.cpp	Wed Jun 18 13:33:50 2008 +0000
+++ b/tools/Master.cpp	Wed Jun 18 13:44:43 2008 +0000
@@ -1461,7 +1461,7 @@
                 
                 cout
                     << "              <BitLen>"
-                    << (unsigned int) entry.bit_length
+                    << dec << (unsigned int) entry.bit_length
                     << "</BitLen>" << endl;
 
                 if (entry.index) {