diff options
| author | Théo Zimmermann | 2019-10-25 14:45:50 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-25 15:09:11 +0200 |
| commit | a8c6c554a0fa282a1e66203bc0c7f76a41054166 (patch) | |
| tree | f4cde5022772ddd676603b444b0a1e80c7400313 /kernel/genOpcodeFiles.ml | |
| parent | 6ed3b02af77313d62ec868b4a88a208a9003857d (diff) | |
Possible simplification of parsing rules.
Noticed by Jim while working on automatic grammar documentation.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions