Adapt to coq/coq#19697 (genarg register gives ArgT.tag to "default") #3007
Annotations
2 errors
|
|
|
🔭 Checkout code
The operation was canceled.
|
Loading