imported patch min-max-min.max.parser-refresh.patch

7 years ago · 3ebd913326
2 changed files with 705 additions and 687 deletions
--- a/prism/src/parser/PrismParser.java
+++ b/prism/src/parser/PrismParser.java
--- a/prism/src/parser/PrismParserTokenManager.java
+++ b/prism/src/parser/PrismParserTokenManager.java
@ -12,6 +12,7 @@ import prism.ModelInfo;
 import parser.visitor.*;
 import prism.ModelType;
 import prism.PrismLangException;
+import explicit.MinMax;

 /** Token Manager. */
@SuppressWarnings("unused")public class PrismParserTokenManager implements PrismParserConstants {