Fix typo in SpecConstr that made it not work at all
There was a terrible typo in this patch; I wrote "env" instead of "env1". Mon Jan 31 11:35:29 GMT 2011 email@example.com * Improve Simplifier and SpecConstr behaviour Anyway, this fix is essential to make it work properly. Thanks to Max for spotting the problem (again).
Showing with 1 addition and 1 deletion