X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2FMakefile;fp=helm%2Fsoftware%2Flambda-delta%2FMakefile;h=03f1f1704658829affd6a132cf7d30a7d21f387f;hb=e7f64fe2cc67f3514131c8831f87311ff600d005;hp=c5992e90a37bb38012ef394c6da034b7a4443f74;hpb=f7988fc51f7c96617aa2b3320628645480af681a;p=helm.git

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index c5992e90a..03f1f1704 100644
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -97,8 +97,8 @@ test: $(MAIN).opt etc
 	$(H)./$(MAIN).opt -o -p -S 3 $(O) $(INPUT) > etc/log.txt
 
 test-si-old: $(MAIN).opt etc
-	@echo "  HELENA -o -p -u $(INPUT)"
-	$(H)./$(MAIN).opt -o -p -u -S 3 $(O) $(INPUT) > etc/log.txt
+	@echo "  HELENA -o -p -u -c $(INPUT)"
+	$(H)./$(MAIN).opt -o -p -u -c -S 3 $(O) $(INPUT) > etc/log.txt
 
 test-si-fast-old: $(MAIN).opt etc
 	@echo "  HELENA -o -u -q $(INPUT)"