X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FMakefile;h=6505e0f2e7f9829a8c7fbec996c0e394b56c8e77;hb=7403c949ea3a84624f8c05deee00de53336937ba;hp=e685915a38004a9090208f8ed98a432ee2353ce9;hpb=503d873ce22e1dd6bfda44c85322d4ee5a792a98;p=helm.git

diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile
index e685915a3..6505e0f2e 100644
--- a/helm/ocaml/metadata/Makefile
+++ b/helm/ocaml/metadata/Makefile
@@ -6,7 +6,7 @@ INTERFACE_FILES = \
 	metadataExtractor.mli \
 	metadataPp.mli \
 	metadataDb.mli \
-	metadataQuery.mli
+	metadataConstraints.mli
 IMPLEMENTATION_FILES = metadataTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =