See https://github.com/coq/coq/pull/17669. revert dependent is an alias for generalize dependent and is going away soon.
revert dependent
generalize dependent