Parse pluscal labels inserted due to macro #529
Annotations
2 warnings
|
Check:
src/parsers/pluscal.ts#L115
Trailing spaces not allowed
|
|
Check:
src/tla2tools.ts#L108
This line has a length of 147. Maximum allowed is 120
|
Loading