On 05/26/2012 11:31 AM, Paolo Carlini wrote:
Ok. Like this it works, if I understand your suggestion.

Yep, that's what I had in mind. But let's put it after the !TREE_SIDE_EFFECTS case. OK with that change.

Jason

Reply via email to