snapshot

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

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 92d6560fccb9c9a7aa4add2246acb805b50ddf97..e5350566df7a3c148400ad70d8192b72cb9574b0 100644 (file)
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -17,8 +17,8 @@ INTERFACE_FILES = \
        cicNotationPp.mli       \
        cicNotationMatcher.mli  \
        cicNotationFwd.mli      \
-       cicNotationRew.mli      \
        cicNotationParser.mli   \
+       cicNotationRew.mli      \
        cicNotationPres.mli     \
        $(NULL)
 IMPLEMENTATION_FILES = \