From 31e686c2904c3015eaec18ce502d4e8afe565850 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 29 Aug 2017 18:17:19 +0200
Subject: Rolling our own dynamic types for Ltac2.

This prevents careless confusions with generic arguments from Coq.
---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index ffe1dda032..fc9df4ee3f 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -2,6 +2,8 @@
 -I src/
 -bypass-API
 
+src/tac2dyn.ml
+src/tac2dyn.mli
 src/tac2expr.mli
 src/tac2env.ml
 src/tac2env.mli
-- 
cgit v1.2.3