Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!399
Nits for Coq 8.10
Code
Review changes
Check out branch
Download
Patches
Plain diff
Simon Spies
requested to merge
simonspies/iris:ralf/transfinite
into
ralf/transfinite
Mar 23, 2020
Overview
6
Commits
1
Pipelines
0
Changes
6
Expand
This MR fixes the compile errors emitted when compiling with Coq 8.10.
Merge request reports