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
:racecar: :race: :tractor:
Looks like a yellow tractor to me.
Last updated: Feb 01 2023 at 15:04 UTC