diff options
| author | Thomas Bauereiss | 2020-02-21 21:01:50 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-02-24 20:43:10 +0000 |
| commit | f75f4b66028305d77205fe0f8ef0aa78c8660ada (patch) | |
| tree | 490694e2536a8ff4896d1e6931c34d84d40e7fe4 /lib/nostd | |
| parent | e37855c0c43b8369aefa91cfd17889452011b137 (diff) | |
Avoid generating assertions multiple times during typechecking
Diffstat (limited to 'lib/nostd')
0 files changed, 0 insertions, 0 deletions