From 00074558463e79e00bf130f4ae437d8a161d094c Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Wed, 24 Jul 2019 10:27:39 +0200
Subject: [PATCH] Fixing travis

---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index 228b4f3f..e605c088 100755
--- a/configure
+++ b/configure
@@ -304,7 +304,7 @@ EOF
                 source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
 
                 execute << EOF
-                opam switch 4.07.1  || exit 1
+                opam switch create ocaml-base-compiler.4.07.1     || exit 1
                 ${QP_ROOT}/bin/opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
 
                 eval $(${QP_ROOT}/bin/opam env)
@@ -325,7 +325,7 @@ EOF
                 execute << EOF
                   rm \${QP_ROOT}/external/opam_installer.sh
                   source \${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
-                  opam switch 4.07.1  || exit 1
+                  opam switch create ocaml-base-compiler.4.07.1     || exit 1
                   \${QP_ROOT}/bin/opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
 EOF
                 execute << EOF