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

Replace unused pattern variables with underscore 

Addresses new unused-pattern-matching-variable warning on Coq master.
parent e88411b5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
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