-cicNotationUtil.cmi: cicNotationPt.cmo
-cicNotationEnv.cmi: cicNotationPt.cmo
-cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi
-acic2astMatcher.cmi: cicNotationPt.cmo
-termAcicContent.cmi: cicNotationPt.cmo
+cicNotationUtil.cmi: cicNotationPt.cmx
+cicNotationEnv.cmi: cicNotationPt.cmx
+cicNotationPp.cmi: cicNotationPt.cmx cicNotationEnv.cmi
+acic2astMatcher.cmi: cicNotationPt.cmx
+termAcicContent.cmi: cicNotationPt.cmx