- tps_tpr closed! (substitution is a reduction)

[helm.git] / matita / matita / lib / lambda-delta / Makefile

diff --git a/matita/matita/lib/lambda-delta/Makefile b/matita/matita/lib/lambda-delta/Makefile
index 6489043683f7e84fb13f0b9d0669363a142d644e..8feb040dbe38b682bb43678b89f3d305462ba03c 100644 (file)
--- a/matita/matita/lib/lambda-delta/Makefile
+++ b/matita/matita/lib/lambda-delta/Makefile
@@ -3,7 +3,7 @@ XOA_DIR = ../../../components/binaries/xoa
 XOA     = xoa.native
 
 CONF    = xoa.conf.xml
-TARGETS = xoa_natation.ma  xoa_defs.ma
+TARGETS = xoa_natation.ma xoa.ma
 
 all: $(TARGETS)