X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile.common;h=c9173f76c4a2be9ee5fee6bdc8cd4a2910f04266;hb=fac7052d076fbfe531dd95aa57d8ec2381f23648;hp=0adedde842b7d0a8c60e1db26cf312cae2d7aff6;hpb=973b0b1fd5f44b96a3c367a9756f28b75b9fa30b;p=helm.git

diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common
index 0adedde84..c9173f76c 100644
--- a/helm/software/lambda-delta/Makefile.common
+++ b/helm/software/lambda-delta/Makefile.common
@@ -64,5 +64,5 @@ tgz: clean
 	$(H)$(OCAMLOPT) -c $<
 
 ifeq ($(MAKECMDGOALS), $(MAIN).opt)
-  include .depend.opt   
+  include .depend.opt
 endif