Update docs/cvl/foundry-integration.md

Co-authored-by: urikirsh <[email protected]>

docs/cvl/foundry-integration.md

@@ -6,7 +6,7 @@ as fuzz tests for all inputs explicitly, the tests will be formally verified usi
 This will yield higher guarantees of correctness as all inputs will be evaluated and tested. 
 
 While fuzzing is not as complete as formal verification (a fuzzer might “miss” some inputs that would expose a bug), 
-writing fuzz tests via Foundry is often easier for developer since it uses the same Solidity language as the smart contracts themselves.
+writing fuzz tests via Foundry is often easier since it uses Solidity.
 Foundry has tooling for writing fuzz tests on smart contracts, see [Foundry Documentation](https://book.getfoundry.sh/forge/fuzz-testing).
 
 This part of the documentation explains how to utilize the Certora Prover to formally verify tests that are written as Foundry fuzz tests.