add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801) #602
Annotations
1 warning
|
Run coq-community/docker-coq-action@v1
Unused variable nlimbs might be a misspelled constructor. Use _ or
|
Loading