]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/logger/.depend
ocaml 3.09 transition
[helm.git] / helm / ocaml / logger / .depend
index fe62a32d5f05a0cf714b9673283283fe1a408afd..28268d29ee15cd05d86a0565b7d47abfe8ecf81f 100644 (file)
@@ -1,2 +1,2 @@
-ui_logger.cmo: ui_logger.cmi 
-ui_logger.cmx: ui_logger.cmi 
+helmLogger.cmo: helmLogger.cmi 
+helmLogger.cmx: helmLogger.cmi