tools/Master.cpp
changeset 1030 d7970e934dba
parent 1029 61ffe5f22306
child 1037 59f191c9185b
--- 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) {