diff --git a/prism/src/parser/ast/RelOp.java b/prism/src/parser/ast/RelOp.java index dd6c5bcb..b38897cd 100644 --- a/prism/src/parser/ast/RelOp.java +++ b/prism/src/parser/ast/RelOp.java @@ -88,7 +88,7 @@ public enum RelOp @Override public boolean isMax() { - return false; + return true; } @Override