From 387a56ced3a093af1e97ed08be02c93ceaf66aa8 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 19 Nov 2018 10:11:44 +0100
Subject: Adding a module to manipulate Ltac1 values.

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index e2ef5cebe1..dda5a8001a 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -47,4 +47,5 @@ theories/Fresh.v
 theories/Std.v
 theories/Env.v
 theories/Notations.v
+theories/Ltac1.v
 theories/Ltac2.v
-- 
cgit v1.2.3