diff options
| author | Brian Campbell | 2018-03-14 14:09:17 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-03-14 14:09:30 +0000 |
| commit | f5e92e2fa59a672c21d301407cd6f545810e2830 (patch) | |
| tree | 9dc550ddf0c8d88129c5e37356ddb662e3928bf8 /src/gen_lib | |
| parent | f6a4f60afcb3aa7efb740002684014877ef25d14 (diff) | |
Remove unnecessary size_itself_int uses in guards (for Lem)
Doesn't remove them from function bodies because that can produce
more work for the sizeof rewriting.
Diffstat (limited to 'src/gen_lib')
0 files changed, 0 insertions, 0 deletions