From 4247e31f728b2b523968557b857dc753a58a66e1 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 3 Nov 2020 11:27:08 +0100
Subject: [PATCH] Doc: install preocess enhancement

---
 guides/users/README.org | 1 +
 1 file changed, 1 insertion(+)

diff --git a/guides/users/README.org b/guides/users/README.org
index 137d9e60..a03c161b 100644
--- a/guides/users/README.org
+++ b/guides/users/README.org
@@ -761,6 +761,7 @@ opam init -y
 eval $(opam env)
 echo "test -r ~/.opam/opam-init/init.sh && . ~/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true" >> ~/.bashrc
 opam switch create 4.11.1
+eval $(opam env)
 opam install -y merlin tuareg
 opam user-setup install 
 opam repo add -a verimag-sync-repo \
-- 
GitLab