refactoring

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / LambdaDelta-1 / makefile

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile
index db1724d0cb341a3c8c1a4fb0b076f0b3f182dbda..d53547f4b05bd50be0068d8724c68bc0480f8053 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile
@@ -1,6 +1,6 @@
 H=@
 
-RT_BASEDIR=../../../../
+RT_BASEDIR=../../../
 OPTIONS=-bench
 MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
 CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS)