cosmetic change: a space removed (to make tests/Makefile and library/Makefile

the same)

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index be8a19266c5f707a76984c301d7a2961354076a1..73cf367a910eec19dac55ee328ed4b25d2159941 100644 (file)
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -39,7 +39,7 @@ depend: $(DEPEND_NAME)
        @$(MATITAC) $< || $(MATITACLEAN) $<
 
 $(DEPEND_NAME): $(SRC) $(LINKS)
-       @$(MATITADEP) $(SRC) > $@ 
+       @$(MATITADEP) $(SRC) > $@
 
 # Let's prepare the environment
 .matita: