diff options
| author | gingerBill <bill@gingerbill.org> | 2018-09-08 12:16:03 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2018-09-08 12:16:03 +0100 |
| commit | 3825eab989c0911326fd009b96c9768150ff6ac2 (patch) | |
| tree | df87565103ece81667b091dac69291071c962cca /src/checker.cpp | |
| parent | 3cd6ae311df68c1ac8b4015ebf5eef694126a59b (diff) | |
Diverging procedures `proc() -> !` (no return)
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions