diff --git a/.travis.yml b/.travis.yml index fc2750bb..7cad45c9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,4 +1,5 @@ language: c +sudo: required script: bash -ex .travis-ci.sh env: - OCAML_VERSION=4.00.1