-cicNotationPres.cmo: cicNotationPt.cmo cicNotationPres.cmi cicNotationPp.cmi \
- cicNotationPres.cmi
-cicNotationPres.cmx: cicNotationPt.cmx cicNotationPres.cmx cicNotationPp.cmx \
- cicNotationPres.cmi
+cicNotationPres.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
+ cicNotationPres.cmi cicNotationPp.cmi cicNotationPres.cmi
+cicNotationPres.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
+ cicNotationPres.cmx cicNotationPp.cmx cicNotationPres.cmi