Trivial tweak

nickbattle · Oct 19, 2023 · 661b9dc · 661b9dc
1 parent 2c35d91
commit 661b9dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/quickcheck/src/main/java/quickcheck/visitors/TrivialQCVisitor.java b/examples/quickcheck/src/main/java/quickcheck/visitors/TrivialQCVisitor.java
@@ -190,7 +190,7 @@ else if (node.left instanceof TCIntegerLiteralExpression &&
 			return (vleft.value.value != vright.value.value);		// eg. 123 <> 456
 		}
 
-		return false;
+		return caseExpression(node, truths);
 	}
 
 	@Override