X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite%2FMakefile;h=182cd456171cef5b2225ce19cdef45dd6c9f8f39;hb=b1bad322d0daf6c25f95a82c4349f057a753ab7c;hp=b16d7b7dd41f807e94a6a0334614fbaa5a4948aa;hpb=a696aae5ea794cd43fd3d83d37a0345d2a1387b3;p=helm.git

diff --git a/helm/ocaml/grafite/Makefile b/helm/ocaml/grafite/Makefile
index b16d7b7dd..182cd4561 100644
--- a/helm/ocaml/grafite/Makefile
+++ b/helm/ocaml/grafite/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES =		\
 	grafiteAstPp.mli	\
-	cicNotation.mli		\
 	grafiteMarshal.mli	\
 	$(NULL)
 IMPLEMENTATION_FILES =		\