From 09a246d4108a16f14c80b9dddd992a9a11b4b377 Mon Sep 17 00:00:00 2001
From: amusingaxl <112016538+amusingaxl@users.noreply.github.com>
Date: Wed, 23 Oct 2024 10:25:53 -0300
Subject: [PATCH] refactor(DssVestMintable): remove `filtered` clause from rule

---
 certora/DssVestMintable.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/DssVestMintable.spec b/certora/DssVestMintable.spec
index bd21126a..41ca972d 100644
--- a/certora/DssVestMintable.spec
+++ b/certora/DssVestMintable.spec
@@ -59,7 +59,7 @@ invariant finGreaterOrEqualClf(uint256 _id) fin(_id) >= clf(_id);
 //     init_state axiom rxd(_id) == 0;
 // }
 
-rule rxdLessOrEqualTot(method f) filtered { f -> !f.isFallback } {
+rule rxdLessOrEqualTot(method f) {
     env e;
     uint256 _id;