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

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index e24a9fc93..f811f26e1 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -126,7 +126,7 @@ jobs:
     <<: *opam-boot-template
     environment:
       <<: *envvars
-      EXTRA_OPAM: "ocamlgraph ppx_tools_versioned ppx_deriving ocaml-migrate-parsetree"
+      EXTRA_OPAM: "ocamlgraph elpi"
 
   # Build and prepare test environment
   build: *build-template
-- 
cgit v1.2.3