You need to sign in or sign up before continuing.
Fix: remove forced annotation in CameLIGO's abstractor
type:fixed
For LIGO developers
In CameLIGO's abstractor there was some mandatory annotation checks, but these checks are not needed anymore, as we have better inference.
Changelog details: