[GiNaC-list] get_name() doesn't returned a name like "symbolNNN"?

Hi, According to the documentation (section 4.5 of the online tutorial), the following code should produce something like z.get_name() = "symbol1" but with ginac 1.5.8, I get an empty string. ----- #include <iostream> #include <ginac/ginac.h> using namespace std; using namespace GiNaC; int main() { symbol z; cout << "z.get_name() = \"" << z.get_name() << "\"" << endl; return 0; } ----- In an older version of ginac, this used to work as documented. Is this a bug, or an expected change in behavior? (Or is it just my installation that is broken?) Regards, Warren