refactor: remove now useless workaround

morpho-org · Dec 5, 2024 · ac6cfd2 · ac6cfd2
1 parent df17d59
commit ac6cfd2
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 14 deletions.
diff --git a/certora/helpers/MockDllFifo.sol b/certora/helpers/MockDllFifo.sol
@@ -12,13 +12,6 @@ contract MockDllFifo {
 
     uint256 public maxIterations;
 
-    uint256 internal dummy_state_variable;
-
-    function dummy_state_modifying_function() public {
-        // to fix a CVL error when only one function is accessible
-        dummy_state_variable = 1;
-    }
-
     function getValueOf(address _id) public view returns (uint256) {
         return dll.getValueOf(_id);
     }

diff --git a/certora/helpers/MockDllSimple.sol b/certora/helpers/MockDllSimple.sol
@@ -10,13 +10,6 @@ contract MockDllSimple {
 
     DoubleLinkedList.List public dll;
 
-    uint256 internal dummy_state_variable;
-
-    function dummy_state_modifying_function() public {
-        // to fix a CVL error when only one function is accessible
-        dummy_state_variable = 1;
-    }
-
     function getValueOf(address _id) public view returns (uint256) {
         return dll.getValueOf(_id);
     }