Colin Adams wrote:
> `interpreted_string' could have a postcondition that the result is not
> the same object as `a_string'.
I just added it. However I find it less expressive than the header
comment which says that we will get a new object at each call.
--
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com
