From 845da0a590efdbe7c51de330a3d90bba15323395 Mon Sep 17 00:00:00 2001
From: amusingaxl <112016538+amusingaxl@users.noreply.github.com>
Date: Tue, 22 Oct 2024 17:16:18 -0300
Subject: [PATCH] refactor: removed outdated disclaimer comment

---
 certora/DssVestMintable.spec      | 1 -
 certora/DssVestSuckable.spec      | 1 -
 certora/DssVestTransferrable.spec | 1 -
 3 files changed, 3 deletions(-)

diff --git a/certora/DssVestMintable.spec b/certora/DssVestMintable.spec
index e1d65f59..bd21126a 100644
--- a/certora/DssVestMintable.spec
+++ b/certora/DssVestMintable.spec
@@ -76,7 +76,6 @@ rule rxdLessOrEqualTot(method f) filtered { f -> !f.isFallback } {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;
 
diff --git a/certora/DssVestSuckable.spec b/certora/DssVestSuckable.spec
index 4871b0cd..0ed05e38 100644
--- a/certora/DssVestSuckable.spec
+++ b/certora/DssVestSuckable.spec
@@ -89,7 +89,6 @@ rule rxdLessOrEqualTot(method f)  {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;
 
diff --git a/certora/DssVestTransferrable.spec b/certora/DssVestTransferrable.spec
index e36b64d0..07e8e9a6 100644
--- a/certora/DssVestTransferrable.spec
+++ b/certora/DssVestTransferrable.spec
@@ -75,7 +75,6 @@ rule rxdLessOrEqualTot(method f)  {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;