It says
File "vernac/proof_using.ml", line 104, characters 33-35:
Error: This expression has type Names.variable = Names.Id.t
but an expression was expected of type Environ.env
looks like a race condition with #15069
https://github.com/coq/coq/pull/15083
:racecar: :race: :tractor:
Looks like a yellow tractor to me.
Oops...
Last updated: Dec 07 2023 at 09:01 UTC