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