coq-tests: fix error introduced by Cyril Anaclet in 0ae25c5a

Open hendriktews opened this issue 1 year ago • 1 comments

The purpose of unwind-protect is to execute the cleanup-forms in case of a non-local exit. It does not make any sense to move these forms behind unwind-protect.

Mar 03 '24 20:03 hendriktews

Agreed: looks like a paren-typo.

Mar 03 '24 20:03 monnier

Good catch :100: thank you @hendriktews !!

Mar 05 '24 00:03 erikmd