diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-15 18:31:26 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-15 18:31:26 -0400 |
| commit | 131f341f368b606fd50b57f135e602e40e132b46 (patch) | |
| tree | d9148edb7e3dd7f59f42476ff2d09515a7591997 /src/Util/CPSUtil.v | |
| parent | 4c29a88db8c65e2e5450a662eb793fcac62ddb5d (diff) | |
Add -compat 8.6 to _CoqProject
This allows fiat-crypto to continue working with trunk, after the merge
of https://github.com/coq/coq/pull/220. We will remove this when we
migrate to requiring 8.6.1 or 8.7 (neither of which is released yet).
Diffstat (limited to 'src/Util/CPSUtil.v')
0 files changed, 0 insertions, 0 deletions