Not compatible with Coq v8.16.1

[KiJeong-Lim]

Would you fix the code to be compatible with Coq v8.16.1?

[BlastWind]

In the off chance that you still need this, my (still open) pull request upgrades the repo to Coq v8.19.2.