From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Fri, 30 Mar 2001 21:11:04 +0000 (+0000)
Subject: the unsigned number 128 was stored incorrectly (0x80 instead of 0x80 0x01)
X-Git-Tag: release_0-8-1~36
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=d1f1d71f9cb477a1931ecf47d9fe78d020bb0dfa

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

diff --git a/ginac/archive.cpp b/ginac/archive.cpp
index 849da9b7..8d54681e 100644
--- 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;
 	}