cicParser2.cmi: cic.cmo cicParser3.cmi
cicParser.cmi: cic.cmo
cicUtil.cmi: cic.cmo
+helmLibraryObjects.cmi: cic.cmo
deannotate.cmo: cic.cmo deannotate.cmi
deannotate.cmx: cic.cmx deannotate.cmi
cicParser3.cmo: cic.cmo cicParser3.cmi
cicParser.cmx: cicParser2.cmx cicParser3.cmx deannotate.cmx cicParser.cmi
cicUtil.cmo: cic.cmo cicUtil.cmi
cicUtil.cmx: cic.cmx cicUtil.cmi
-helmLibraryObjects.cmo: cic.cmo
-helmLibraryObjects.cmx: cic.cmx
+helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmi
+helmLibraryObjects.cmx: cic.cmx helmLibraryObjects.cmi