-unshare.cmi: cic.cmx
-deannotate.cmi: cic.cmx
-cicParser.cmi: cic.cmx
-cicUtil.cmi: cic.cmx
-helmLibraryObjects.cmi: cic.cmx
-discrimination_tree.cmi: cic.cmx
-path_indexing.cmi: cic.cmx
+unshare.cmi: cic.cmo
+deannotate.cmi: cic.cmo
+cicParser.cmi: cic.cmo
+cicUtil.cmi: cic.cmo
+helmLibraryObjects.cmi: cic.cmo
+libraryObjects.cmi: cic.cmo
+discrimination_tree.cmi: cic.cmo
+path_indexing.cmi: cic.cmo
+cicInspect.cmi: cic.cmo