-
Notifications
You must be signed in to change notification settings - Fork 32
Open
Labels
backendIssue in one of the backends (i.e. F*, Coq, EC...)Issue in one of the backends (i.e. F*, Coq, EC...)coqCoq backendCoq backend
Description
The Coq backend relies on the naming being unique for everything.
Some change to the naming broke this inveriant (#1108 (comment))
Adding a prefix, of which type of element is being generated should fix this.
Metadata
Metadata
Assignees
Labels
backendIssue in one of the backends (i.e. F*, Coq, EC...)Issue in one of the backends (i.e. F*, Coq, EC...)coqCoq backendCoq backend