fix: properties test

Signed-off-by: 0xRaccoon <[email protected]>
allo-protocol · Oct 25, 2024 · 345e961 · 345e961
1 parent 59f07c4
commit 345e961
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/invariant/fuzz/properties/PropertiesAllo.t.sol b/test/invariant/fuzz/properties/PropertiesAllo.t.sol
@@ -278,7 +278,7 @@ contract PropertiesAllo is HandlersParent {
             assertEq(allo.getTreasury(), _newTreasury, "property-id 15-a: updateTreasury failed");
             treasury = payable(_newTreasury);
         } else {
-            assertEq(_newTreasury, address(0) || _usingAnchor, "property-id 15-a: updateTreasury failed");
+            assertTrue(_newTreasury == address(0) || _usingAnchor, "property-id 15-a: updateTreasury failed");
         }
     }