Missing -I ../.. added.

[helm.git] / matita / contribs / PREDICATIVE-TOPOLOGY / Makefile

diff --git a/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile b/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
index 489b2c135c950ef1d9e36b0a5c094efae0db9c6c..5b2b2fa40e0f0b5776abb2572b03b98c854bd733 100644 (file)
--- a/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
+++ b/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
@@ -1,6 +1,6 @@
 SRC=$(shell find . -name "*.ma" -a -type f)
 
-MATITA_FLAGS =
+MATITA_FLAGS = -I ../..
 NODB=false
 ifeq ($(NODB),true)
        MATITA_FLAGS += -nodb