diff options
| author | gingerBill <bill@gingerbill.org> | 2018-09-08 12:17:16 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2018-09-08 12:17:16 +0100 |
| commit | f5549f6bde21c2378700770eae5ab7bba46a3671 (patch) | |
| tree | a3757c51b023635150c074a1365d1c921b2e8829 /src/check_type.cpp | |
| parent | 3825eab989c0911326fd009b96c9768150ff6ac2 (diff) | |
Make `panic` a diverging procedure
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions