X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fpxp%2FMakefile;h=b40081f45a8388a5e279b1de694e8f99c84a934d;hb=09aa799947c84148221af82e94e911adea8fd1e6;hp=1ccb4244b6f008650bf0ee6d6650f88270b7e0bd;hpb=298fa826610192b1a173c81b4ebf961c1c7e6609;p=helm.git

diff --git a/helm/ocaml/pxp/Makefile b/helm/ocaml/pxp/Makefile
index 1ccb4244b..b40081f45 100644
--- a/helm/ocaml/pxp/Makefile
+++ b/helm/ocaml/pxp/Makefile
@@ -5,5 +5,6 @@ PREDICATES =
 INTERFACE_FILES = csc_pxp_reader.mli pxpUriResolver.mli
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
+EXTRA_OBJECTS_TO_CLEAN =
 
 include ../Makefile.common