From a49d250228cb6b39d0b991d30e62f432e5db6015 Mon Sep 17 00:00:00 2001
From: Enrico
Date: Wed, 22 May 2019 10:25:20 +0200
Subject: Update INSTALL.md

---
 INSTALL.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index a694163..f0103b7 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -8,11 +8,10 @@ the more recent OPAM one (version 2). The released and current dev versions are
 also available as OPAM packages.
 
 ## Compilation and installation of released and current dev version with OPAM
-If you just installed OPAM version 2 you may have to do the following. You may also want
-to read [OPAM user manual](https://opam.ocaml.org/doc/Usage.html) first. 
+If you just installed OPAM version 2 you should proceed as follows: 
 ```
 opam --version # should print 2.x.y
-opam init
+opam init -n --comp=ocaml-base-compiler.4.05.0
 eval $(opam config env)
 ```
 Once your OPAM environment is configured
@@ -31,6 +30,7 @@ To get the latest development version you need to execute the following:
 opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
 opam install coq-mathcomp-ssreflect.dev -j3
 ```
+You can learn more about OPAM by reading its [user manual](https://opam.ocaml.org/doc/Usage.html).
 
 ## Compilation and installation in a dedicated OPAM root
 
-- 
cgit v1.2.3