the unsigned number 128 was stored incorrectly (0x80 instead of 0x80 0x01)
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 30 Mar 2001 21:11:04 +0000 (21:11 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 30 Mar 2001 21:11:04 +0000 (21:11 +0000)
ginac/archive.cpp

index 849da9b7f71ae7147cdd8e69c2ab53cfa61b3645..8d54681e70152753f975f432437ceafe8062485d 100644 (file)
@@ -172,7 +172,7 @@ unsigned int archive::num_expressions(void) const
 /** Write unsigned integer quantity to stream. */
 static void write_unsigned(std::ostream &os, unsigned int val)
 {
-       while (val > 0x80) {
+       while (val >= 0x80) {
                os.put((val & 0x7f) | 0x80);
                val >>= 7;
        }