]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/Makefile
snapshot, still work in progress
[helm.git] / helm / ocaml / metadata / Makefile
index e685915a38004a9090208f8ed98a432ee2353ce9..6505e0f2e7f9829a8c7fbec996c0e394b56c8e77 100644 (file)
@@ -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 =