diff --git a/.travis.yml b/.travis.yml index 394a7896..e2eaff5f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,7 +8,7 @@ env: - PINS="sidekick:." - DISTRO="ubuntu-16.04" matrix: - - PACKAGE="sidekick" OCAML_VERSION="4.02.3" + #- PACKAGE="sidekick" OCAML_VERSION="4.02.3" - PACKAGE="sidekick" OCAML_VERSION="4.03.0" - PACKAGE="sidekick" OCAML_VERSION="4.04.2" - PACKAGE="sidekick" OCAML_VERSION="4.05.0"