Index: bitvec/bitops.h
===================================================================
RCS file: RCS/bitops.h,v
retrieving revision 3.6
diff -u -r3.6 bitops.h
--- bitops.h    1999/01/07 21:47:11     3.6
+++ bitops.h    1999/02/22 23:38:41
@@ -179,7 +179,7 @@
                          mpint& constantx, Hash_Table<PExpr, mpint>& termsx);
   static void BitBlast(int, int,
                       mpint, Hash_Table<PExpr, mpint>&,
-                      mpint, Hash_Table<PExpr, mpint>&);
+                      mpint&, Hash_Table<PExpr, mpint>&);
 
 public:
   // Constants and statics

Index: bitvec/bitops.cc
===================================================================
RCS file: RCS/bitops.cc,v
retrieving revision 3.12
diff -u -r3.12 bitops.cc
--- bitops.cc   1998/06/16 00:58:28     3.12
+++ bitops.cc   1999/02/22 23:58:37
@@ -1034,7 +1034,7 @@
 
   if (_const != 0) {
     os << ' ';
-    Print1Ptr(os, Bit_Const_Expr::New(_const, ComputeNumBits()));
+    Print1Ptr(os, Bit_Const_Expr::New(_const, _ub+1));
   }
 
   for(Hash_Ptr<PExpr, mpint> ptr(&_terms); ptr!=NULL; ++ptr) {
@@ -1210,7 +1210,7 @@
       }
     }
   }
-  plusc = (constant & mask) >> lb;
+  plusc += (constant & mask) >> lb;
   constantx = constant & marked;
   constant = (constant & lmask) - constantx;
   terms = tt;
@@ -1228,7 +1228,7 @@
 ///////////////////////////////////////////////////////////////////////////////
 void Bit_Ovflow_Expr::BitBlast(int lb, int ub,
                       mpint constant, Hash_Table<PExpr, mpint>& terms,
-                      mpint plusc,    Hash_Table<PExpr, mpint>& plusterms)
+                      mpint &plusc,    Hash_Table<PExpr, mpint>& plusterms)
 {
   mpint constantx;
   Hash_Table<PExpr, mpint> termsx(Expr::Hash, Expr::Match, Bit_Ovflow_Expr::SIZE);