From 2d76ac1779cc525c0c5903ec593801c709f11802 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 26 Apr 2018 14:50:01 +0200
Subject: [CI] elpi 1.0 has an official opam package

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

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 052979bcb..dca326a20 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -76,7 +76,7 @@ matrix:
       - TEST_TARGET="ci-coquelicot"
     - if: NOT (type = pull_request)
       env:
-      - TEST_TARGET="ci-elpi" EXTRA_OPAM="ppx_tools_versioned ppx_deriving ocaml-migrate-parsetree"
+      - TEST_TARGET="ci-elpi" EXTRA_OPAM="elpi"
       # ppx_tools_versioned requires a specific version findlib
       - FINDLIB_VER=""
     - if: NOT (type = pull_request)
-- 
cgit v1.2.3