-nCicReduction.cmi: nCic.cmx
-nCicPp.cmi: nReference.cmi nCic.cmx
-nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmx
-nCicUntrusted.cmi: nCic.cmx
+nCicUtils.cmi: nCicEnvironment.cmi nCic.cmx
+nCicSubstitution.cmi: nCicEnvironment.cmi nCic.cmx
+nCicReduction.cmi: nCicEnvironment.cmi nCic.cmx
+nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCicEnvironment.cmi nCic.cmx
+nCicUntrusted.cmi: nCicEnvironment.cmi nCic.cmx
+nCicPp.cmi: nReference.cmi nCicEnvironment.cmi nCic.cmx