From 65be2f00dc464493edb8031544b61db6216d453c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 1 Oct 2017 14:42:01 +0200
Subject: Moving ML types used by Ltac2 to their proper interface.

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index fc9df4ee3f..43e9b76991 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -5,6 +5,7 @@
 src/tac2dyn.ml
 src/tac2dyn.mli
 src/tac2expr.mli
+src/tac2types.mli
 src/tac2env.ml
 src/tac2env.mli
 src/tac2print.ml
-- 
cgit v1.2.3