From c8ab9cb7cd9728746a4b9e9661a2f765d5e70cbc Mon Sep 17 00:00:00 2001
From: sunbreak1211 <sunbreak1211@proton.me>
Date: Tue, 22 Oct 2024 13:28:58 -0300
Subject: [PATCH] Certora: Minor change

---
 certora/VoteDelegateFactory.spec | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/certora/VoteDelegateFactory.spec b/certora/VoteDelegateFactory.spec
index 13b86ec..866fdf2 100644
--- a/certora/VoteDelegateFactory.spec
+++ b/certora/VoteDelegateFactory.spec
@@ -9,8 +9,6 @@ methods {
     function polling() external returns (address) envfree;
 }
 
-definition addrZero() returns address = 0x0000000000000000000000000000000000000000;
-
 // Verify correct storage changes for non reverting create
 rule create() {
     env e;
@@ -20,7 +18,7 @@ rule create() {
     address delegatesSenderAfter = delegates(e.msg.sender);
     mathint createdAfter = created(delegatesSenderAfter);
 
-    assert delegatesSenderAfter != addrZero(), "Assert 1";
+    assert delegatesSenderAfter != 0, "Assert 1";
     assert delegatesSenderAfter == voteDelegate, "Assert 2";
     assert createdAfter == 1, "Assert 3";
 }
@@ -34,7 +32,7 @@ rule create_revert() {
     create@withrevert(e);
 
     bool revert1 = e.msg.value > 0;
-    bool revert2 = delegatesSender != addrZero();
+    bool revert2 = delegatesSender != 0;
 
     assert lastReverted <=> revert1 || revert2, "Revert rules failed";
 }