Skip to content

Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-… #761

Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-…

Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-… #761