Adapt to coq/coq#20178 (UContext.to_context returns qvar set not quality set) #2979
Annotations
2 errors
|
|
|
Checkout code
The operation was canceled.
|
Loading