chore: update

ubiquity · Apr 16, 2024 · 6c19305 · 6c19305
1 parent f28f3f7
commit 6c19305
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/contracts/scripts/smt-checker/README.md b/packages/contracts/scripts/smt-checker/README.md
@@ -12,7 +12,7 @@ Ensure that your system has Z3 installed with a version number greater than or e
 Before proceeding, ensure that you have `g++` and `python3` installed on your system. To download and install Z3, enter the following commands in your terminal:
 
 ### Run script:
-```shh
+```sh
 sh ./update-dependencies.sh
 ```