diff options
| author | Brian Campbell | 2018-10-22 18:29:18 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-10-22 18:29:18 +0100 |
| commit | e489f2d37efa4c320004d35c3025c77e0a0c60d0 (patch) | |
| tree | d3cba4f0f8a85958ddf1059ef9e058160164c4bc /src/parse_ast.ml | |
| parent | 104fd550bd99f2c22655f7d7aa173715054234fd (diff) | |
Coq: use function type more carefully in untupling
And update the RISC-V patch accordingly.
Diffstat (limited to 'src/parse_ast.ml')
0 files changed, 0 insertions, 0 deletions