]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/Makefile
- rewritten http_getter logger interface
[helm.git] / helm / ocaml / getter / Makefile
index ac3abcce4f521f719b21d52831771f5a672770e0..cc2519cfc693ae2281556a73e546ff7046373fc1 100644 (file)
@@ -7,7 +7,7 @@ REQUIRES = \
 
 INTERFACE_FILES = \
        clientHTTP.mli \
-       http_getter_debugger.mli \
+       http_getter_logger.mli \
        http_getter_misc.mli \
        http_getter_const.mli \
        http_getter_env.mli \