cicNotationLexer.cmo: cicNotationLexer.cmi 
cicNotationLexer.cmx: cicNotationLexer.cmi 
cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi 
cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi