diff options
| author | Jessica Clarke | 2020-09-27 16:35:32 +0100 |
|---|---|---|
| committer | Jessica Clarke | 2020-09-27 16:35:32 +0100 |
| commit | 8065e4bb4a8dcd1eaa4791058bf9581b254b84da (patch) | |
| tree | 2c3a49e3e7d6c6ed9475dfd76ebc2526c07931a8 /src/parser_combinators.ml | |
| parent | 2f865276b504793b76d78b03056d373e9ebbe4e2 (diff) | |
latex: Refactor category name prefixing
Rather than having the caller prefix latex and refcode strings with the
category, push that down into common functions to both abstract away the
details and avoid duplication.
No functional change intended, and verified by regenerating the LaTeX
for sail-cheri-mips and sail-cheri-riscv.
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions