X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FMakefile;h=4d56f5b2599e3e49de3fd926302c2360ae9f0ffc;hb=58bd1746df1d9dc734f8ac75220d25997c09bed1;hp=c8828a22476267d1fb6a4ceb8c8c54b2e61c3fe6;hpb=c4afa186c53998a10eab85d3fcc113b07bccfdf9;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile
index c8828a224..4d56f5b25 100644
--- 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 \