Fix RecordValue.compareTo to call super.compareTo for different types,

fixes #734
overturetool · Aug 13, 2020 · a84093c · a84093c
1 parent 134c0be
commit a84093c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/interpreter/src/main/java/org/overture/interpreter/values/RecordValue.java b/core/interpreter/src/main/java/org/overture/interpreter/values/RecordValue.java
@@ -367,7 +367,7 @@ else if (equals(other))
 			}
 		}
 
-		return Integer.MIN_VALUE;	// Indicates incomparable values, but allows "sorting"
+		return super.compareTo(other);	// Indicates incomparable values, but allows "sorting"
 	}
 
 	@Override