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

diff --git a/helm/ocaml/grafite/Makefile b/helm/ocaml/grafite/Makefile
index b16d7b7dd..6eb3e7a78 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 =		\
@@ -11,4 +10,5 @@ IMPLEMENTATION_FILES =		\
 	$(INTERFACE_FILES:%.mli=%.ml)
 
 
+include ../../Makefile.defs
 include ../Makefile.common