[m-rev.] for post-commit review: fix mantis bug #522

[Zoltan Somogyi]

2022-03-17 14:39 GMT+11:00 "Peter Wang" <novalazy at gmail.com>:
> However, I think the comment could be simplified to:
> 
>     Given that `not Cond' is equivalent to `if Cond then fail else true',
>     the only way to reach the end of `not Cond' is to take the else path.
>     Since the else path obviously does not add anything to the const var map,
>     the const var map must be the same at the end of `not Cond' as at
>     its start.

Done. Thanks.

Zoltan.