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);