remove colon

Certora · Feb 12, 2024 · 58f3fbd · 58f3fbd
1 parent 9da3173
commit 58f3fbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lesson2_started/erc20/ERC20.spec b/lesson2_started/erc20/ERC20.spec
@@ -11,7 +11,7 @@
  * Understand the counter example provided by the Prover and then run the fixed
  * spec:
  *
- * certoraRun ERC20.sol: --verify ERC20:ERC20Fixed.spec --solc solc8.0
+ * certoraRun ERC20.sol --verify ERC20:ERC20Fixed.spec --solc solc8.0
  */
 
 // The methods block below gives various declarations regarding solidity methods.