removed no_inconcl_aux, no_concl_hyp, no_hyp and added count

[helm.git] / helm / ocaml / metadata / Makefile

diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile
index 3535d485d168058d5e3eebf37ec22f906173e61d..9d16a2c8da4eee6bf1529f273fd2c63f76e51d50 100644 (file)
--- a/helm/ocaml/metadata/Makefile
+++ b/helm/ocaml/metadata/Makefile
@@ -6,8 +6,8 @@ INTERFACE_FILES = \
        metadataTypes.mli \
        metadataExtractor.mli \
        metadataPp.mli \
-       metadataDb.mli \
-       metadataConstraints.mli 
+       metadataConstraints.mli \
+       metadataDb.mli 
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =