diff options
| author | Alasdair Armstrong | 2020-09-24 16:22:54 +0100 |
|---|---|---|
| committer | GitHub | 2020-09-24 16:22:54 +0100 |
| commit | 7ead8e00d256011f1b3be5d84c641dae3432e8e4 (patch) | |
| tree | 6f1595feee3e9fdf52d3a4abd3aefa5caf4f7617 /src/parser_combinators.ml | |
| parent | 8c74d34ada29c55a34eab041354ba003c0811840 (diff) | |
| parent | 1d13dd5efd6cb2926e74d779e21b0f9f9ca696d8 (diff) | |
Merge pull request #91 from julienfreche/remove_extra_static
C codegen: remove an unnecessary declaration in the header file
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions