Bugfix: Bitlength always decimal in XML.
authorFlorian Pose <fp@igh-essen.com>
Wed, 18 Jun 2008 13:44:43 +0000
changeset 1030 d7970e934dba
parent 1029 61ffe5f22306
child 1031 000593b576dd
Bugfix: Bitlength always decimal in XML.
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) {