X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flogger%2F.depend;h=28268d29ee15cd05d86a0565b7d47abfe8ecf81f;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=fe62a32d5f05a0cf714b9673283283fe1a408afd;hpb=05a96edc1a298d5a6d92919e0b68f0377604387f;p=helm.git

diff --git a/helm/ocaml/logger/.depend b/helm/ocaml/logger/.depend
index fe62a32d5..28268d29e 100644
--- a/helm/ocaml/logger/.depend
+++ b/helm/ocaml/logger/.depend
@@ -1,2 +1,2 @@
-ui_logger.cmo: ui_logger.cmi 
-ui_logger.cmx: ui_logger.cmi 
+helmLogger.cmo: helmLogger.cmi 
+helmLogger.cmx: helmLogger.cmi