X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FMakefile;fp=helm%2Focaml%2Fcic_notation%2FMakefile;h=6af1968ec3eea9f51e08637cb632c21a3235d5d6;hb=e9cfecee7dd7cf8388512ffd4aa223782c728eda;hp=53c39ee5e95d489aa2e3015afa7e66d444f487e3;hpb=b19ee5bd8a25151b78eb1c78f98e6ab1f4b325ff;p=helm.git

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 53c39ee5e..6af1968ec 100644
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -11,6 +11,7 @@ INTERFACE_FILES = \
 	cicNotationLexer.mli	\
 	cicNotationEnv.mli	\
 	cicNotationPp.mli	\
+	cicNotationSubst.mli	\
 	cicNotationParser.mli	\
 	$(NULL)
 IMPLEMENTATION_FILES = \