From d553b60b326fe065dd3b8f5af7beeb5f2895a58f Mon Sep 17 00:00:00 2001
From: sunbreak <sunbreak1211@proton.me>
Date: Fri, 17 Nov 2023 17:52:04 -0300
Subject: [PATCH] Remove other unnecessary line

---
 certora/funnels/automation/VaultMinter.spec | 1 -
 1 file changed, 1 deletion(-)

diff --git a/certora/funnels/automation/VaultMinter.spec b/certora/funnels/automation/VaultMinter.spec
index 3042b933..3991738e 100644
--- a/certora/funnels/automation/VaultMinter.spec
+++ b/certora/funnels/automation/VaultMinter.spec
@@ -231,7 +231,6 @@ rule draw() {
     mathint numBefore; mathint lot;
     numBefore, a, b, lot = config();
 
-    mathint drawAmountBefore = drawAmount;
     mathint drawCounterBefore = drawCounter;
 
     draw(e);