1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL.md b/INSTALL.md
index 4a461d8..fac167e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -39,6 +39,7 @@ opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
 and install SMTCoq:
 ```bash
 opam install coq-smtcoq
+```
 
 
 ### Installation from the sources, using opam (not recommended)