diff options
| author | Jessica Clarke | 2020-09-23 14:35:23 +0100 |
|---|---|---|
| committer | Jessica Clarke | 2020-09-23 14:35:23 +0100 |
| commit | bd2e3a46c298367894b7ec145810ef4521ff808b (patch) | |
| tree | 82c7d67e04fc3a5ba2fac6ccb9fdc581335d5b9d /src/parser_combinators.ml | |
| parent | 41e3f0dcb15266aa8423486696fcf3326ff08ae2 (diff) | |
doc: Fix RISC-V X overload
This seems to be the current name for the overload.
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions