diff options
| author | Brian Campbell | 2020-08-25 18:36:19 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-08-26 10:34:57 +0100 |
| commit | ce87c17955727a7c2a0178a635c4bd17edd4252c (patch) | |
| tree | dc9af7ded96fa25fde2c75ee482e2233bede107d /src/parser_combinators.ml | |
| parent | ac2d2a9e0115693064d10d38ad8208a0e9f70b43 (diff) | |
Coq: Use proof mode for a couple of Fixpoints to avoid Coq 8.12 issue
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions