From 5efc05b747b6edcdbd2c298855d9de53d8567369 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 13 Jun 2018 15:18:28 -0400
Subject: Add PrimitiveHList, PrimitiveProd

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 4adfef055..45fa23cb1 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6477,6 +6477,8 @@ src/Util/PartiallyReifiedProp.v
 src/Util/Pointed.v
 src/Util/PointedProp.v
 src/Util/Pos.v
+src/Util/PrimitiveHList.v
+src/Util/PrimitiveProd.v
 src/Util/Prod.v
 src/Util/QUtil.v
 src/Util/Relations.v
-- 
cgit v1.2.3