use opam.1.2.2 syntax

ybertot · Nov 7, 2018 · 7110697 · 7110697
1 parent 918a18d
commit 7110697
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -11,8 +11,7 @@ install:
 - sudo apt-get install -qq -y opam
 - opam --version
 - opam init -y
-- opam switch create ocaml-base-compiler.4.07.0
-- opam switch set ocaml-base-compiler.4.07.0
+- opam switch 4.07.0
 - eval $(opam config env)
 - opam config var root
 - opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev || true