[z3-checkins] Re: r10172 - z3/Five/branch/regebro-standard_macros

[Philipp von Weitershausen]

Lennart Regebro wrote:
> Philipp von Weitershausen wrote:
> 
>> That patch won't solve *that* problem at all.
> 
> OK, I guess I'm hallucinating then. :)

No, you're not, I take that statement back... It does solve that 
problem, but by proxy. Magically, you might say. I prefer it solved a 
non-magical way.

Philipp