From 167954a5667d7c7315519009b57e0ecd53a80aa2 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 29 Oct 2018 17:47:10 -0400
Subject: Add PositiveSet Facts

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 659c23407..b6ab62707 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6550,6 +6550,7 @@ src/Util/Logic/ExistsEqAnd.v
 src/Util/Logic/ImplAnd.v
 src/Util/Logic/ProdForall.v
 src/Util/MSetPositive/Equality.v
+src/Util/MSetPositive/Facts.v
 src/Util/NUtil/WithoutReferenceToZ.v
 src/Util/SideConditions/AdmitPackage.v
 src/Util/SideConditions/Autosolve.v
-- 
cgit v1.2.3