-
Ralf Jung authored
It leads to wild unification errors on 8.11. None of this makes any sense, but I guess that is expected with Coq...
ace0db94
It leads to wild unification errors on 8.11. None of this makes any sense, but I guess that is expected with Coq...