From 51e9f60a263fb17172c39911f45144a056a36166 Mon Sep 17 00:00:00 2001
From: sunbreak <sunbreak1211@proton.me>
Date: Fri, 17 Nov 2023 17:42:56 -0300
Subject: [PATCH] Remove unnecessary lines

---
 certora/funnels/automation/StableSwapper.spec | 2 --
 certora/funnels/automation/VaultMinter.spec   | 1 -
 2 files changed, 3 deletions(-)

diff --git a/certora/funnels/automation/StableSwapper.spec b/certora/funnels/automation/StableSwapper.spec
index 21c73434..1e42ac9a 100644
--- a/certora/funnels/automation/StableSwapper.spec
+++ b/certora/funnels/automation/StableSwapper.spec
@@ -151,8 +151,6 @@ rule kiss_revert(address usr) {
     bool revert1 = e.msg.value > 0;
     bool revert2 = wardsSender != 1;
 
-    assert revert1 => lastReverted, "revert1 failed";
-    assert revert2 => lastReverted, "revert2 failed";
     assert lastReverted <=> revert1 || revert2, "Revert rules failed";
 }
 
diff --git a/certora/funnels/automation/VaultMinter.spec b/certora/funnels/automation/VaultMinter.spec
index f6bd739d..ed6576a3 100644
--- a/certora/funnels/automation/VaultMinter.spec
+++ b/certora/funnels/automation/VaultMinter.spec
@@ -285,7 +285,6 @@ rule wipe() {
     mathint numBefore; mathint lot;
     numBefore, a, b, lot = config();
 
-    mathint wipeAmountBefore = wipeAmount;
     mathint wipeCounterBefore = wipeCounter;
 
     wipe(e);