From b56ec63bf021a8dd95ce2eddc365115ce818a43e Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 27 Oct 2014 10:29:17 +0100
Subject: Make sure that Logic/ExtensionalityFacts gets compiled.

---
 theories/Logic/vo.itarget | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theories/Logic/vo.itarget b/theories/Logic/vo.itarget
index 6f7eba9040..323597395f 100644
--- a/theories/Logic/vo.itarget
+++ b/theories/Logic/vo.itarget
@@ -19,6 +19,7 @@ Eqdep.vo
 WeakFan.vo
 WKL.vo
 FunctionalExtensionality.vo
+ExtensionalityFacts.vo
 Hurkens.vo
 IndefiniteDescription.vo
 JMeq.vo
-- 
cgit v1.2.3