Update README.md

Certora · Jul 12, 2023 · 87560c8 · 87560c8
1 parent f48aad1
commit 87560c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -46,7 +46,7 @@ sure it is visible on your `PATH`. Alternatively, you can specify where Gambit c
 find the Solidity compiler with the option `--solc path/to/solc`, or specify a
 version of solc (e.g., solc8.12) with the option `--solc solc8.12`.
 
-_NOTE_ All tests (`cargo test`) are currently run using solc8.13. Your tests may fail if your `solc` points at
+_**Note:** All tests (`cargo test`) are currently run using solc8.13. Your tests may fail if your `solc` points at
   a different version of the compiler._
 
 ### Running  `gambit mutate`