From 2f3b7a1ee530f236a153c0971cd99680dcee9b10 Mon Sep 17 00:00:00 2001
From: Matej Kosik <matej.kosik@inria.fr>
Date: Sun, 19 Mar 2017 13:11:41 +0100
Subject: Add a forgotten (?) line to "theories/Logic/vo.itarget".

The "theories/Logic/PropExtensionalityFacts.v" file was:
- compiled
- used in several places
but not actually installed.

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

(limited to 'theories/Logic')

diff --git a/theories/Logic/vo.itarget b/theories/Logic/vo.itarget
index ef2709b47..8b0aa6691 100644
--- a/theories/Logic/vo.itarget
+++ b/theories/Logic/vo.itarget
@@ -1,4 +1,5 @@
 Berardi.vo
+PropExtensionalityFacts.vo
 ChoiceFacts.vo
 ClassicalChoice.vo
 ClassicalDescription.vo
-- 
cgit v1.2.3