nCicMetaSubst.mli \
nCicUnifHint.mli \
nCicCoercion.mli \
- nRstatus.mli \
- nCicRefineUtil.mli \
+ nCicRefineUtil.mli \
nCicUnification.mli \
nCicRefiner.mli
$(INTERFACE_FILES:%.mli=%.ml)
EXTRA_OBJECTS_TO_INSTALL =
EXTRA_OBJECTS_TO_CLEAN =
-%.cmo: OCAMLOPTIONS += -w Ae
-%.cmi: OCAMLOPTIONS += -w Ae
-%.cmx: OCAMLOPTIONS += -w Ae
include ../../Makefile.defs
include ../Makefile.common