Adapt to coq/coq#18546. #582
+11
−11
Merged
Loading