diff options
| author | Brian Campbell | 2020-02-05 21:53:48 +0000 |
|---|---|---|
| committer | Brian Campbell | 2020-02-05 21:53:55 +0000 |
| commit | da1309632d35c910a6d3ae14ad2f5af037fce89e (patch) | |
| tree | b54d2bfd49d18537287db82f4597d6af9631b335 /src/util.ml | |
| parent | d4fc0ac3ced52d28a1046b6fdfc45d7c8c0afd56 (diff) | |
Tweak Coq scopes for 8.11
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions