From 41f1ec0e8283174101d1c351142cff3881d2fb02 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 23 Sep 2016 13:30:19 +0200
Subject: [PATCH] For travis, dolmen is now pinned to github/dev version

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index aa50feaf..93b8adb5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -18,8 +18,9 @@ before_install:
   - opam init
   - opam switch ${OCAML_VERSION}
   - eval `opam config env`
+  - opam install ocamlfind ocamlbuild
+  - opam pin add dolmen https://github.com/Gbury/dolmen.git
 install:
-  - opam install dolmen ocamlfind ocamlbuild
   - make bin lib
 script:
   - make test