Revision - 98608e4 - fix translation to why3 for operator, where some of its type [...]

Revision 98608e4339a7b96cbc0e13c449f6985fc97aaf89 authored by Benjamin Gregoire on 24 March 2021, 03:41:53 UTC, committed by Benjamin Gregoire on 24 March 2021, 03:41:53 UTC

fix translation to why3 for operator, where some of its type parameters do not appear in the its type.

1 parent f5ea5b3

Files
Changes

Permalinks

File	Mode	Size
docker
install
packaging
srctx
testing

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

Computing file changes ...