Lifting some local strategies (defined in a let) will solve the problem.

Submitted on 28 July 2005 at 21:54

Log in to post comments