Merge pull request coq-community#46 from Zimmi48/v8.6

V8.6

Merge pull request coq-community#36 from Zimmi48/fix-for-coq-pr-474

fix a unused variable name warning.
Thanks!