X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_acic%2FMakefile;h=2669afb11a7666a58b76a9b18dfbbb1f675444ca;hb=0f6c7f05574786ce52a8a5950e76f4e45ad5ee88;hp=a7f1e19cfb557fa7739c05419e40a9f178296fba;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/ocaml/cic_acic/Makefile b/helm/ocaml/cic_acic/Makefile
index a7f1e19cf..2669afb11 100644
--- a/helm/ocaml/cic_acic/Makefile
+++ b/helm/ocaml/cic_acic/Makefile
@@ -9,4 +9,5 @@ INTERFACE_FILES =		\
 	$(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 
+include ../../Makefile.defs
 include ../Makefile.common