Make symbol::name be initialized lazily.
authorRichard Kreckel <kreckel@ginac.de>
Thu, 9 Dec 2010 08:18:34 +0000 (09:18 +0100)
committerRichard Kreckel <kreckel@ginac.de>
Thu, 9 Dec 2010 08:18:34 +0000 (09:18 +0100)
commitf5abf61d2cb1a1d1809d270a24fa098575b172c4
tree72feccd61c36bb544b53491ce2754b79176be380
parent00507499530d90533cf029bd503be326d9018138
Make symbol::name be initialized lazily.

This fixes symbol::get_name(), which returned an empty string instead of
"symbol" followed by the serial number if the symbol's name wasn't
specified in the constructor.

Thanks to Warren Weckesser for reporting this bug.
ginac/symbol.cpp
ginac/symbol.h