mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
Inside an MLCFG module it was not possible to use `return` or `absurd` inside normal MLW declarations. This fixes the issue by changing how blocks are parsed.