diff options
| author | Laurențiu Nicola <[email protected]> | 2020-07-01 08:46:27 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-07-01 08:46:27 +0100 |
| commit | 1be5e848b099efe050c5803abf8b1f96ad4ec0fb (patch) | |
| tree | 55ab43beaaa310eb5eeca152bf71349aab0a359b /docs/dev/debugging.md | |
| parent | 30c2e714cc1677cbea40a47d7c0944c92f66b7c9 (diff) | |
Use dynamic dispatch in AstDiagnostic
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions