Fix w.r.t. coq/coq#10764.

Merged Ghost User requested to merge (removed):btt-on-coinductive into master

Backward compatible, mergeable as-is.

Merge request reports