From 1dcf5516ab772a6d5325d42c2ceaf727fe88bb86 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 14 Feb 2018 17:09:45 +0100
Subject: ci: add elpi

---
 Makefile.ci | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 80fbd7bbe..4e92264d6 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -5,6 +5,7 @@ CI_TARGETS=ci-bignums \
     ci-coquelicot \
     ci-corn \
     ci-cpdt \
+    ci-elpi \
     ci-equations \
     ci-fiat-crypto \
     ci-fiat-parsers \
-- 
cgit v1.2.3