the unsigned number 128 was stored incorrectly (0x80 instead of 0x80 0x01)

[ginac.git] / ginac / archive.cpp

diff --git a/ginac/archive.cpp b/ginac/archive.cpp
index 849da9b7f71ae7147cdd8e69c2ab53cfa61b3645..8d54681e70152753f975f432437ceafe8062485d 100644 (file)
--- a/ginac/archive.cpp
+++ b/ginac/archive.cpp
@@ -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;
        }