AMBDA-TYPES: some improvements. subst now fully exploited

[helm.git] / matita / contribs / LAMBDA-TYPES / Unified-Sub / makefile

diff --git a/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile b/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
index fa59bd7e89ced693d120dace7e582610bd6899c1..d53547f4b05bd50be0068d8724c68bc0480f8053 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
+++ b/matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile
@@ -1,4 +1,4 @@
-H=
+H=@
 
 RT_BASEDIR=../../../
 OPTIONS=-bench