Skip to content

Stop using revert dependent

Tej Chajed requested to merge tchajed/stdpp:deprecated-revert-dependent into master

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

Merge request reports