X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fbad_tests%2FMakefile;h=19ff97412bf6245017bb7a10a1c65bdeda94ba6d;hb=30028f3f9d4109822f998e2d064b00696db6db59;hp=8f7a83fd599e7793f2d859b6fb9cec29220a5233;hpb=78229b5b53f947df657547e682c5365bbba9455b;p=helm.git

diff --git a/helm/matita/tests/bad_tests/Makefile b/helm/matita/tests/bad_tests/Makefile
index 8f7a83fd5..19ff97412 100644
--- a/helm/matita/tests/bad_tests/Makefile
+++ b/helm/matita/tests/bad_tests/Makefile
@@ -1,6 +1,6 @@
 SRC=$(wildcard *.ma)
 
-MATITA_FLAGS =
+MATITA_FLAGS = -I ../..
 NODB=false
 ifeq ($(NODB),true)
 	MATITA_FLAGS += -nodb