From f204058d329fa78b506f4c3b3c4f97ecce504d4b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 26 Jul 2017 21:27:36 +0200
Subject: Adding necessary primitives to do pattern-matching over constr.

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 2561b7b6ec..e3ad3987bd 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -28,5 +28,6 @@ theories/Array.v
 theories/Control.v
 theories/Message.v
 theories/Constr.v
+theories/Pattern.v
 theories/Std.v
 theories/Ltac2.v
-- 
cgit v1.2.3