#include "config.h"
#include "utils.h"
-#ifndef NO_NAMESPACE_GINAC
namespace GiNaC {
-#endif // ndef NO_NAMESPACE_GINAC
/** Archive an expression.
/** 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;
}
}
-#ifndef NO_NAMESPACE_GINAC
} // namespace GiNaC
-#endif // ndef NO_NAMESPACE_GINAC