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...

https://github.com/coq/coq/pull/18932

Last updated: Aug 03 2024 at 00:02 UTC