* some longish timings are now disabled by default.

[ginac.git] / check / time_dennyfliegner.cpp

diff --git a/check/time_dennyfliegner.cpp b/check/time_dennyfliegner.cpp
index d81ba91930551ecde72eb3931c5d2ab220adfd00..4f6b7dc35e522918494266a79eb73b183fae9c83 100644 (file)
--- a/check/time_dennyfliegner.cpp
+++ b/check/time_dennyfliegner.cpp
@@ -38,7 +38,7 @@ static unsigned expand_subs(unsigned size)
                buf << "a" << i << ends;
                a.push_back(symbol(buf.str()));
 #else
-               char buf[4];
+               char buf[5];  // 'a' + 3 decimal digits + '\n'
                ostrstream(buf,sizeof(buf)) << "a" << i << ends;
                a.push_back(symbol(buf));
 #endif