thanks to the new fixes to notation, I can define \land for both pairs and

[helm.git] / helm / software / lambda-delta / Makefile.common

diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common
index 0adedde842b7d0a8c60e1db26cf312cae2d7aff6..c9173f76c4a2be9ee5fee6bdc8cd4a2910f04266 100644 (file)
--- 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