Revision - 38c4947 - Clear the blocked signals mask on startup.

Revision 38c4947433b1a42896540edfa534f76502fc8f92 authored by Pierre-Yves Strub on 10 June 2022, 09:40:59 UTC, committed by Pierre-Yves Strub on 10 June 2022, 09:40:59 UTC

Clear the blocked signals mask on startup.

In some circumstances, the inherited mask disturbs Why3 server.

1 parent 7fed186

Files
Changes

Permalinks

easycrypt.png

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...