INTERFACE_FILES = \
content.mli \
- cicNotationUtil.mli \
- cicNotationEnv.mli \
- cicNotationPp.mli \
- interpretations.mli \
+ notationUtil.mli \
+ notationEnv.mli \
+ notationPp.mli \
$(NULL)
IMPLEMENTATION_FILES = \
- cicNotationPt.ml \
+ notationPt.ml \
$(INTERFACE_FILES:%.mli=%.ml)
include ../../Makefile.defs