fix function Safe.spec (#923)

onlyModuleCanExecuteModuleThransactions - onlyModuleCanExecuteModuleTransactions x2
safe-global · Mar 6, 2025 · 460f730 · 460f730
1 parent 9bffa90
commit 460f730
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/certora/specs/Safe.spec b/certora/specs/Safe.spec
@@ -234,7 +234,7 @@ rule moduleOnlyAddedThroughEnableModule(method f, address module) filtered {
 }
 
 
-rule onlyModuleCanExecuteModuleThransactions(
+rule onlyModuleCanExecuteModuleTransactions(
     address to,
     uint256 value,
     bytes data,
@@ -246,7 +246,7 @@ rule onlyModuleCanExecuteModuleThransactions(
     assert !lastReverted => getModule(e.msg.sender) != 0, "Only modules can execute module transactions";
 }
 
-rule onlyModuleCanExecuteModuleThransactionsWithReturnData(
+rule onlyModuleCanExecuteModuleTransactionsWithReturnData(
     address to,
     uint256 value,
     bytes data,