Update cbmc/proofs/README.md

Co-authored-by: Hanno Becker <[email protected]> Signed-off-by: Roderick Chapman <[email protected]>
pq-code-package · Nov 5, 2024 · a4c4297 · a4c4297
1 parent afd52a2
commit a4c4297
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cbmc/proofs/README.md b/cbmc/proofs/README.md
@@ -27,7 +27,7 @@ If `GITHUB_STEP_SUMMARY` is set, the proof summary will be appended to it.
 
 # Covered functions
 
-Each proved function has a eponymous sub-directory of its own. The shell command
+Each proved function has an eponymous sub-directory of its own. The shell command
 
 ```
 find . -name cbmc-proof.txt