cicNotationPp.cmo: cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi
cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi
cicNotationMatcher.cmo: cicNotationUtil.cmi cicNotationTag.cmi \
- cicNotationPt.cmo cicNotationPp.cmi cicNotationEnv.cmi \
- cicNotationMatcher.cmi
+ cicNotationPt.cmo cicNotationEnv.cmi cicNotationMatcher.cmi
cicNotationMatcher.cmx: cicNotationUtil.cmx cicNotationTag.cmx \
- cicNotationPt.cmx cicNotationPp.cmx cicNotationEnv.cmx \
- cicNotationMatcher.cmi
+ cicNotationPt.cmx cicNotationEnv.cmx cicNotationMatcher.cmi
cicNotationFwd.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationEnv.cmi \
cicNotationFwd.cmi
cicNotationFwd.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmx \