X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2FMakefile.common;h=1db6ea34085d002b29f9bdfcbfb1852ee5cdb71c;hb=25893b01cb815cbd9a3b9684952bfc0f42c0739d;hp=a601c4d8871a41ff615c66df003420fe7c97c0de;hpb=bcc6a96020485731da4c02cc38043817903bd7dc;p=helm.git

diff --git a/helm/software/helena/Makefile.common b/helm/software/helena/Makefile.common
index a601c4d88..1db6ea340 100644
--- a/helm/software/helena/Makefile.common
+++ b/helm/software/helena/Makefile.common
@@ -73,7 +73,7 @@ $(MAIN).opt: $(O_OBJECTS)
 	$(H)$(OCAMLOPT) -o $(MAIN).opt $(CMXS)
 
 $(MAIN).byte: $(B_OBJECTS)
-	@echo "  OCAMC -o $(MAIN).byte"
+	@echo "  OCAMLC -o $(MAIN).byte"
 	$(H)$(OCAMLC) -o $(MAIN).byte $(CMOS)
 
 .depend.opt: $(SOURCES)