diff --git a/.travis.yml b/.travis.yml index 29a942d7..4363a21c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,5 +1,4 @@ language: c -sudo: required env: - OCAML_VERSION=4.00.1 - OCAML_VERSION=4.01.0