X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2FPREDICATIVE-TOPOLOGY%2FMakefile;h=5b2b2fa40e0f0b5776abb2572b03b98c854bd733;hb=04e27500136c94e4f2ac072a5e4d330b75da35f0;hp=489b2c135c950ef1d9e36b0a5c094efae0db9c6c;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile b/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
index 489b2c135..5b2b2fa40 100644
--- 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