Closed alex-dev closed 1 year ago
This PR has @CONTRACT_TYPE[AS_*]:HAS[#tag[SCANsat]]:NEEDS[SCANsat],*
The comma and star at the end are also wrong.
Should be
@CONTRACT_TYPE[AS_*]:HAS[#tag[SCANsat]]:NEEDS[SCANsat]
Still better than what is currently included, though and at least doesn't error.
Should it? The final ,*
has well defined meaning.
I don't know what is the default behaviour.
It causes a warning from MM.
Removed.
MM 3.1.2 flags this as an error. It was an error before but MM was suppressing it.