X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fhbugs%2FMakefile;h=4170d8081cf24651a43543b1a3d92ae7192e002e;hb=2b2b90087f836c2f32291935216549e9370e68c3;hp=c38ac3e92de5a0fdf5d028bcda02466e7e8203e3;hpb=d579fcbe53997bcf8cc617341cd1da5e6d094c13;p=helm.git

diff --git a/helm/ocaml/hbugs/Makefile b/helm/ocaml/hbugs/Makefile
index c38ac3e92..4170d8081 100644
--- a/helm/ocaml/hbugs/Makefile
+++ b/helm/ocaml/hbugs/Makefile
@@ -24,6 +24,7 @@ INTERFACE_FILES = \
 	hbugs_types.mli \
 	$(patsubst %.ml, %.mli, $(IMPLEMENTATION_FILES))
 
+include ../../Makefile.defs
 include ../Makefile.common
 include .tutors.ml
 include .generated_tutors.ml