Adapt to coq/coq#16743 (fix incomplete checking of unsolved holes)#465
Merged
xavierleroy merged 1 commit intoAbsInt:masterfrom Nov 28, 2022
Merged
Adapt to coq/coq#16743 (fix incomplete checking of unsolved holes)#465xavierleroy merged 1 commit intoAbsInt:masterfrom
xavierleroy merged 1 commit intoAbsInt:masterfrom
