cicNotationParser.cmi: cicNotationPt.cmo 
cicNotationLexer.cmo: cicNotationLexer.cmi 
cicNotationLexer.cmx: cicNotationLexer.cmi 
cicNotationParser.cmo: cicNotationPt.cmo cicNotationLexer.cmi \
    cicNotationParser.cmi 
cicNotationParser.cmx: cicNotationPt.cmx cicNotationLexer.cmx \
    cicNotationParser.cmi