diff options
| author | gingerBill <bill@gingerbill.org> | 2020-06-06 15:16:24 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-06-06 15:16:24 +0100 |
| commit | 59a0bbb38512054eb5c6fc83383c3638ed03d1bf (patch) | |
| tree | bd7f9e00f72a9b0d1c20e6eddd9251e0012e8070 /src/string.cpp | |
| parent | a3fa647bfd579e38337cff173a672159d42f7fd6 (diff) | |
Improve termination rules checking for missing `return`; Make diverging procedure `-> !` be terminators
Diffstat (limited to 'src/string.cpp')
0 files changed, 0 insertions, 0 deletions