From ba22fad2fb46962eef5f30d976e9eaeb587023a0 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@inria.fr>
Date: Wed, 13 Feb 2019 20:07:28 +0100
Subject: Fix installation instructions

---
 INSTALL.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 0eac582..59c40f7 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -117,7 +117,6 @@ export COQBIN=/home/jdoe/coq-8.6.1/bin/
 make
 make install
 ```
-```
 
 
 ### Installation with native-coq
@@ -155,9 +154,10 @@ Simply add the coq-extra-dev repo to opam:
 ```bash
 opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
 ```
-and install smtcoq:
+and install SMTCoq:
 ```bash
 opam install coq-smtcoq
+```
 
 
 ## Installation of the provers
-- 
cgit