The problem does not seem to be fixed. Open the example in this bug, change the integer range so that the upper bound is 7 and click ok. Now the token from the place disappears and it returns "The color "2" was not declared in an int range"
The problem does not seem to be fixed. Open the example in this bug, change the integer range so that the upper bound is 7 and click ok. Now the token from the place disappears and it returns "The color "2" was not declared in an int range"