--- 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) {