17 Dec
2012
17 Dec
'12
8:15 a.m.
On 12/16/2012 11:51 PM, Dale Lukas Peterson wrote:
Well, Option 1 breaks the binary interface. Option 2 doesn't. And option 3 clearly doesn't either.
Good point. What do you think about symbol::TeX_name being mutable?
Is there a reason to make it mutable? (Have a look at symbol::get_name() to see why symbol::name is mutable.) -richy. -- Richard B. Kreckel <http://www.ginac.de/~kreckel/>