From e2530a25b7d2a5d2b6573fc5c47966e56023e52c Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Sat, 23 Jul 2016 14:36:19 +0200
Subject: [PATCH] Forgot to remove the sudo:required

---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

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