From 9bbfd96b54e30608f2d106e008dbc1736a2a6eef Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 27 Aug 2019 20:56:43 +0100
Subject: [PATCH] Bugfix: isMax() in RelOp.MAX. Code is never used currently it
 seems.

---
 prism/src/parser/ast/RelOp.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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