Merge pull request #32 from Certora/teryanarmen-patch-1

fix openzeppelin typo
Certora · Aug 28, 2023 · 88e145b · 88e145b
2 parents df22b96 + 75a0ea8
commit 88e145b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -163,7 +163,7 @@ For projects that have complex dependencies and imports, you may need to:
 
   ```bash
   gambit mutate --filename path/to/file.sol \
-    --solc_remappings @openzepplin=node_modules/@openzeppelin @foo=node_modules/@foo
+    --solc_remappings @openzeppelin=node_modules/@openzeppelin @foo=node_modules/@foo
   ```
 
 * **Specify allow-paths:** To include additional allowed paths via solc's