merged cic_notation with disambiguation: good luck!

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

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 38859414d27a4dba7bb4d68b12ca23490c2f3d0f..d54e0a5f38e5b28d0d7e541eb6e424fa619bd0da 100644 (file)
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -15,12 +15,14 @@ INTERFACE_FILES = \
        cicNotationLexer.mli    \
        cicNotationEnv.mli      \
        cicNotationPp.mli       \
+       grafiteAstPp.mli        \
        cicNotationMatcher.mli  \
        cicNotationFwd.mli      \
+       cicNotationRew.mli      \
        cicNotationParser.mli   \
        grafiteParser.mli       \
-       cicNotationRew.mli      \
        cicNotationPres.mli     \
+       cicNotation.mli         \
        $(NULL)
 IMPLEMENTATION_FILES = \
        cicNotationPt.ml        \