From 8ba24b7342c3885145406e588859a3e1e356987d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 28 Aug 2017 22:43:32 +0200
Subject: Binding primitives to generate fresh variables.

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 4116d17554..ffe1dda032 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -36,6 +36,7 @@ theories/Control.v
 theories/Message.v
 theories/Constr.v
 theories/Pattern.v
+theories/Fresh.v
 theories/Std.v
 theories/Notations.v
 theories/Ltac2.v
-- 
cgit v1.2.3