Skip to content
Snippets Groups Projects
Verified Commit bfca791e authored by Tej Chajed's avatar Tej Chajed
Browse files

Avoid relying on buggy simpl never behavior 

Alternate take on
https://gitlab.inria.fr/bertot/stdpp/-/commit/895121f919c6f1332f41f658ce7f850e391eb49e,
which is used as an overlay in Coq for
https://github.com/coq/coq/pull/13448.
parent 7309dfa2
No related branches found
No related tags found
1 merge request!228Avoid relying on buggy simpl never behavior
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment