From c555a1b74ff745c7ee964c2d53463db190dc6705 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 23 Jul 2018 14:45:35 +0200
Subject: Adding environment-manipulating functions.

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 5af42197ea..15e02a6484 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -44,5 +44,6 @@ theories/Constr.v
 theories/Pattern.v
 theories/Fresh.v
 theories/Std.v
+theories/Env.v
 theories/Notations.v
 theories/Ltac2.v
-- 
cgit v1.2.3