From 16e6be0c0d37bcb983a306cf2e8fb31ead0a508e Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Tue, 30 Jan 2018 17:04:58 +0100
Subject: [PATCH] [travis] Force installation of dev version

---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 70ef58d9..c6a849bf 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -38,10 +38,10 @@ before_install:
 install:
   # Install dependencies
   - ${HOME}/opam pin add --no-action msat .
-  - ${HOME}/opam install --deps-only msat
+  - ${HOME}/opam install --deps-only msat.dev
 script:
   # Build and launch the tests
   - if [ "$TO_TEST" = "tests" ]; then make lib && make bin && make test; fi
   # Try and install the package with opam
-  - if [ "$TO_TEST" = "install" ]; then ${HOME}/opam install msat; fi
+  - if [ "$TO_TEST" = "install" ]; then ${HOME}/opam install msat.dev; fi