cicReduction.mli \
cicTypeChecker.mli \
freshNamesGenerator.mli \
+ cicDischarge.mli \
$(NULL)
IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
include ../../Makefile.defs
include ../Makefile.common
-
-cicReduction.cmo: OCAMLOPTIONS+=-rectypes
-cicReduction.cmx: OCAMLOPTIONS+=-rectypes
-