From 46dfd18cd1744adbe9fe8463423c5a4484ebeb70 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 25 Dec 2017 21:17:48 +0100
Subject: adapt to API.mli removal

---
 _CoqProject | 1 -
 1 file changed, 1 deletion(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index eec66dc75e..5af42197ea 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,6 +1,5 @@
 -R theories/ Ltac2
 -I src/
--bypass-API
 
 src/tac2dyn.ml
 src/tac2dyn.mli
-- 
cgit v1.2.3