Closed abhijit-mudigonda closed 4 months ago
The name TotallyPositiveUnits conflicts with an existing attribute in Magma, so we rename ours to avoid issues.
TotallyPositiveUnits
lgtm
The name
TotallyPositiveUnits
conflicts with an existing attribute in Magma, so we rename ours to avoid issues.