From 57b9df4e07351a753f897dc24eb8238f6465b26d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 26 Jul 2017 20:50:58 +0200
Subject: Dedicated module for ident type.

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 6d3470cfa7..2561b7b6ec 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -23,6 +23,7 @@ src/ltac2_plugin.mlpack
 theories/Init.v
 theories/Int.v
 theories/String.v
+theories/Ident.v
 theories/Array.v
 theories/Control.v
 theories/Message.v
-- 
cgit v1.2.3