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 catches more than one case.
|
Loading