-nInversion.cmo: nTactics.cmi nCicElim.cmi continuationals.cmi nInversion.cmi
-nInversion.cmx: nTactics.cmx nCicElim.cmx continuationals.cmx nInversion.cmi
+nInversion.cmo: nTactics.cmi nTacStatus.cmi nCicElim.cmi continuationals.cmi \
+ nInversion.cmi
+nInversion.cmx: nTactics.cmx nTacStatus.cmx nCicElim.cmx continuationals.cmx \
+ nInversion.cmi