From d1f1d71f9cb477a1931ecf47d9fe78d020bb0dfa Mon Sep 17 00:00:00 2001 From: Christian Bauer Date: Fri, 30 Mar 2001 21:11:04 +0000 Subject: [PATCH] the unsigned number 128 was stored incorrectly (0x80 instead of 0x80 0x01) --- ginac/archive.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; } -- 2.44.0