nCicEnvironment.cmi: nUriManager.cmi nCic.cmo 
nCicTypeChecker.cmi: nCic.cmo 
oCic2NCic.cmi: nCic.cmo 
nCic.cmo: nUriManager.cmi 
nCic.cmx: nUriManager.cmx 
nCicEnvironment.cmo: oCic2NCic.cmi nCicEnvironment.cmi 
nCicEnvironment.cmx: oCic2NCic.cmx nCicEnvironment.cmi 
nCicTypeChecker.cmo: nCicTypeChecker.cmi 
nCicTypeChecker.cmx: nCicTypeChecker.cmi 
nUriManager.cmo: nUriManager.cmi 
nUriManager.cmx: nUriManager.cmi 
oCicTypeChecker.cmo: oCic2NCic.cmi nCicTypeChecker.cmi oCicTypeChecker.cmi 
oCicTypeChecker.cmx: oCic2NCic.cmx nCicTypeChecker.cmx oCicTypeChecker.cmi 
oCic2NCic.cmo: oCic2NCic.cmi 
oCic2NCic.cmx: oCic2NCic.cmi