From b98ec63895887435aa6f08436715200d33a62d98 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 14 Sep 2018 21:16:12 -0400
Subject: Add PrimitiveSigma

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 1ca2da73e..87582fb5b 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6519,6 +6519,7 @@ src/Util/PointedProp.v
 src/Util/Pos.v
 src/Util/PrimitiveHList.v
 src/Util/PrimitiveProd.v
+src/Util/PrimitiveSigma.v
 src/Util/Prod.v
 src/Util/QUtil.v
 src/Util/Relations.v
-- 
cgit v1.2.3