pin ocp-indent version

emillon · Aug 25, 2014 · 99cccaa · 99cccaa
1 parent a8637c2
commit 99cccaa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -26,7 +26,7 @@ eval `opam config env`
 opam install ocp-build
 opam install ${OPAM_DEPENDS}
 
-opam install ocp-indent
+opam install ocp-indent.1.4.1
 ocp-indent -i *.ml bulletml/*.ml bulletml/*.mli tests/*.ml
 [ -z "$(git diff)" ]