1.1 --- a/src/common/nix-vector.cc	Fri Aug 21 10:57:26 2009 -0400
     1.2 +++ b/src/common/nix-vector.cc	Tue Sep 01 09:58:55 2009 -0400
     1.3 @@ -1,4 +1,4 @@
     1.4 -/* -*-  Mode: C++; c-file-style: "gnu"; indent-tabs-mode:nil; -*- */
     1.5 +
     1.6  /*
     1.7   * Copyright (c) 2009 The Georgia Institute of Technology 
     1.8   *
     1.9 @@ -308,7 +308,9 @@
    1.10      
    1.11      // all this work just to get the nix 
    1.12      // vector to print out neat
    1.13 -    if (m_totalBitSize > ((sizeof (uint32_t)*8) * i))
    1.14 +    if (m_totalBitSize == 32)
    1.15 +      PrintDec2BinNixFill (*iter,32,os);
    1.16 +    else if (m_totalBitSize > ((sizeof (uint32_t)*8) * i))
    1.17        PrintDec2BinNix (*iter,BitCount (*iter),os);
    1.18      else
    1.19        PrintDec2BinNixFill (*iter,m_totalBitSize%32,os);