Minor edit on README

formal-land · Jan 31, 2024 · 8812f06 · 8812f06
1 parent 656df71
commit 8812f06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -120,7 +120,7 @@ opam pin add https://github.com/clarus/coq-of-ocaml.git#master
 ```
 
 ### Build manually
-Then read the `coq-of-ocaml.opam` file at the root of the project to know the dependencies to install and get the list of commands to build the project.
+Read the `coq-of-ocaml.opam` file at the root of the project to know the dependencies to install and get the list of commands to build the project.
 
 ## License
 MIT (open-source software)