PACKAGE = ng_disambiguation
PREDICATES =

INTERFACE_FILES =		\
	nnumber_notation.mli    \
	disambiguateChoices.mli \
  nCicDisambiguate.mli    \
	grafiteDisambiguate.mli \
	$(NULL)
IMPLEMENTATION_FILES =		\
  $(INTERFACE_FILES:%.mli=%.ml)


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