From f773caf67f46bdaf80d9fd13f49b53c9a21cb091 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 6 Nov 2017 16:27:35 +0100
Subject: Generalize the use of repr in Tac2stdlib.

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index df8cb00b76..eec66dc75e 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -25,6 +25,8 @@ src/tac2match.ml
 src/tac2match.mli
 src/tac2core.ml
 src/tac2core.mli
+src/tac2extffi.ml
+src/tac2extffi.mli
 src/tac2tactics.ml
 src/tac2tactics.mli
 src/tac2stdlib.ml
-- 
cgit v1.2.3