nCicEnvironment.cmi: nReference.cmi nCic.cmo 
nCicTypeChecker.cmi: nCic.cmo 
oCic2NCic.cmi: nCic.cmo 
nCicEnvironment.cmo: oCic2NCic.cmi nCicEnvironment.cmi 
nCicEnvironment.cmx: oCic2NCic.cmx nCicEnvironment.cmi 
nCicTypeChecker.cmo: nCicTypeChecker.cmi 
nCicTypeChecker.cmx: nCicTypeChecker.cmi 
nReference.cmo: nReference.cmi 
nReference.cmx: nReference.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