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
index d34086d00a..dd98ea98ad 100644
--- 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