diff --git a/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul b/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul
index 2bfc0d07c..19b09c6c6 100644
--- a/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul
+++ b/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul
@@ -4,7 +4,7 @@
     let x := 0
     for {} lt(x, y) { } {
         // overflow check
-        if not(x) { revert(0, 0) }
+        if iszero(not(x)) { revert(0, 0) }
         // different way to do overflow check
         if lt(add(x, 1), x) { revert(0, 0) }
         sum := calldataload(add(0x20, mul(x, 0x20)))