Remove other unnecessary line

makerdao · Nov 17, 2023 · d553b60 · d553b60
1 parent 6dfffe5
commit d553b60
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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);