Update tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md

Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
tautschnig · Jun 10, 2024 · f0330d6 · f0330d6
1 parent 34c35e8
commit f0330d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md
@@ -1,4 +1,4 @@
-This repo contains contains a minimal example that breaks compilation when using [kani](https://github.com/model-checking/kani), where I would expect compilation to work.
+This repository contains a minimal example that breaks compilation when using [kani](https://github.com/model-checking/kani), where we would expect compilation to work.
 
 Deleting the `binary/build.rs` script makes the compilation work suddenly, despite it being skipped anyways: