Fix typo

makerdao · Oct 24, 2024 · d07cd2e · d07cd2e
1 parent 230169e
commit d07cd2e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/certora/L1TokenBridge.conf b/certora/L1TokenBridge.conf
@@ -4,15 +4,15 @@
         "certora/harness/Auxiliar.sol",
         "test/mocks/MessengerMock.sol",
         "test/mocks/GemMock.sol",
-        "certora/harness/ImplementatioNMock.sol"
+        "certora/harness/ImplementationMock.sol"
     ],
     "solc": "solc-0.8.21",
     "solc_optimize_map": {
         "L1TokenBridge": "200",
         "Auxiliar": "0",
         "MessengerMock": "0",
         "GemMock": "0",
-        "ImplementatioNMock": "0"
+        "ImplementationMock": "0"
     },
     "link": [
         "L1TokenBridge:messenger=MessengerMock"

diff --git a/certora/L2TokenBridge.conf b/certora/L2TokenBridge.conf
@@ -4,15 +4,15 @@
         "certora/harness/Auxiliar.sol",
         "test/mocks/MessengerMock.sol",
         "test/mocks/GemMock.sol",
-        "certora/harness/ImplementatioNMock.sol"
+        "certora/harness/ImplementationMock.sol"
     ],
     "solc": "solc-0.8.21",
     "solc_optimize_map": {
         "L2TokenBridge": "200",
         "Auxiliar": "0",
         "MessengerMock": "0",
         "GemMock": "0",
-        "ImplementatioNMock": "0"
+        "ImplementationMock": "0"
     },
     "link": [
         "L2TokenBridge:messenger=MessengerMock"