minor

Certora · Jan 10, 2025 · 0b8ada1 · 0b8ada1
1 parent bccf011
commit 0b8ada1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/solana/options.rst b/docs/solana/options.rst
@@ -1,5 +1,5 @@
-Solana Specific Options / CLI flags
+Solana specific options / CLI flags
 ============
 
-This page documents Solana-specitic Certora Prover options, these are either CLI flags or `prover_args` flags.
+This page documents Solana-specific Certora Prover options, these are either CLI flags or `prover_args` flags.