fixed bug in fill_and_clean (now the helper universes_of_obj knows that

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

diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile
index c8828a22476267d1fb6a4ceb8c8c54b2e61c3fe6..4d56f5b2599e3e49de3fd926302c2360ae9f0ffc 100644 (file)
--- a/helm/ocaml/cic_proof_checking/Makefile
+++ b/helm/ocaml/cic_proof_checking/Makefile
@@ -8,8 +8,8 @@ REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
 INTERFACE_FILES = \
        cicLogger.mli \
        cicEnvironment.mli \
-       cicUnivUtils.mli \
        cicPp.mli \
+       cicUnivUtils.mli \
        cicSubstitution.mli \
        cicMiniReduction.mli \
        cicReductionNaif.mli \