PACKAGE = acic_content
PREDICATES =

INTERFACE_FILES =		\
	content.mli		\
	contentPp.mli		\
	acic2content.mli	\
	content2cic.mli		\
	cicNotationUtil.mli	\
	cicNotationEnv.mli	\
	cicNotationPp.mli	\
	acic2astMatcher.mli	\
	termAcicContent.mli	\
	$(NULL)
IMPLEMENTATION_FILES =		\
	cicNotationPt.ml	\
	$(INTERFACE_FILES:%.mli=%.ml)

include ../../Makefile.defs
include ../Makefile.common