More updates after Shoham's review

Certora · Feb 25, 2025 · 2a1627f · 2a1627f
1 parent cb8bb7f
commit 2a1627f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/prover/cli/options.md b/docs/prover/cli/options.md
@@ -404,7 +404,7 @@ By default we look for the packages in `$NODE_PATH`. If there are packages are i
 `certoraRun Bank.sol --verify Bank:Bank.spec --packages ds-stop=$PWD/lib/ds-token/lib/ds-stop/src ds-note=$PWD/lib/ds-token/lib/ds-stop/lib/ds-note/src`
 
 ```{note}
-Information about missing packages is usually stored in `remappings.txt` file. 
+In Solidity projects, information about packages' location is usually stored in `remappings.txt` file. 
 ```
 
 (--packages_path)=