Skip to content

Commit

Permalink
fix grammar
Browse files Browse the repository at this point in the history
  • Loading branch information
@phreppo
phreppo committed Jan 21, 2025
1 parent 2bf62e2 commit de11d9e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/solana/troubleshooting.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ debug information enabled.
This can be done by using the following compiler flags:
``-C strip=none -C debuginfo=2``.

Obseve that the Jump to Source feature will not work if the source files are not
Observe that the Jump to Source feature will not work if the source files are not
uploaded to the cloud.
For more information about how to use the Certora Prover for Solana and
correctly upload the source files to the cloud, refer to
Expand Down

0 comments on commit de11d9e

Please sign in to comment.