[GiNaC-list] set_TeX_name() ?

[Richard B. Kreckel]

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/>