Fix w.r.t. coq/coq#10764. (!98) · Merge requests · Iris / stdpp · GitLab

The source project of this merge request has been removed.

Ghost User requested to merge (removed):btt-on-coinductive into master Sep 19, 2019

Backward compatible, mergeable as-is.