-cicNotationParser.cmi: cicNotationPt.cmo
+cicNotationEnv.cmi: cicNotationPt.cmo
+cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi
+cicNotationParser.cmi: cicNotationPt.cmo cicNotationEnv.cmi
cicNotationLexer.cmo: cicNotationLexer.cmi
cicNotationLexer.cmx: cicNotationLexer.cmi
-cicNotationParser.cmo: cicNotationPt.cmo cicNotationLexer.cmi \
- cicNotationParser.cmi
-cicNotationParser.cmx: cicNotationPt.cmx cicNotationLexer.cmx \
- cicNotationParser.cmi
+cicNotationEnv.cmo: cicNotationPt.cmo cicNotationEnv.cmi
+cicNotationEnv.cmx: cicNotationPt.cmx cicNotationEnv.cmi
+cicNotationPp.cmo: cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi
+cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi
+cicNotationParser.cmo: cicNotationPt.cmo cicNotationPp.cmi \
+ cicNotationLexer.cmi cicNotationEnv.cmi cicNotationParser.cmi
+cicNotationParser.cmx: cicNotationPt.cmx cicNotationPp.cmx \
+ cicNotationLexer.cmx cicNotationEnv.cmx cicNotationParser.cmi