1 cicNotationParser.cmi: cicNotationPt.cmo
2 cicNotationLexer.cmo: cicNotationLexer.cmi
3 cicNotationLexer.cmx: cicNotationLexer.cmi
4 cicNotationParser.cmo: cicNotationPt.cmo cicNotationLexer.cmi \
6 cicNotationParser.cmx: cicNotationPt.cmx cicNotationLexer.cmx \