From 45985baf2262504a9fb8f24e7960caa9f11d29f3 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 28 Mar 2017 16:29:15 +0200
Subject: Fixing missing PropFacts.v in Logic/vo.itarget.

This is while waiting for a possible different solution, if ever such
a different solution is adopted, since the coq.inria.fr/library has
currently a broken link and someone rightly complained about it.
---
 theories/Logic/vo.itarget | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theories/Logic/vo.itarget b/theories/Logic/vo.itarget
index 8b0aa6691e..5eba0b6235 100644
--- a/theories/Logic/vo.itarget
+++ b/theories/Logic/vo.itarget
@@ -27,6 +27,7 @@ IndefiniteDescription.vo
 JMeq.vo
 ProofIrrelevanceFacts.vo
 ProofIrrelevance.vo
+PropFacts.vo
 PropExtensionality.vo
 RelationalChoice.vo
 SetIsType.vo
-- 
cgit v1.2.3