X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FMakefile;h=7102f2ea7b82207bb17a46ebbf0afbfcf404bc9a;hb=dbcc29c0e46454c7e31b485135900ceab38627e1;hp=a976a283d7d6edd7dbaa0ce908552c666c0359b3;hpb=7d425434a70ed1eae2ef83ebff5adbbbeeaec099;p=helm.git

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index a976a283d..7102f2ea7 100644
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -10,6 +10,7 @@ REQUIRES = \
 	$(NULL)
 INTERFACE_FILES = \
 	cicNotationUtil.mli	\
+	cicNotationTag.mli	\
 	cicNotationLexer.mli	\
 	cicNotationEnv.mli	\
 	cicNotationPp.mli	\