diff options
| author | Alasdair Armstrong | 2019-03-08 17:59:44 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-08 17:59:44 +0000 |
| commit | 1caa56ca356432112cb4457a07b35754c1f85887 (patch) | |
| tree | 0c81b3002ecf9d3cabebcbc75ae478069a021225 /doc/tutorial.tex | |
| parent | 703e996e44d0c1773fb23cd554b896318fae081b (diff) | |
Rewriter: Cleanup old sizeof rewrites
Shouldn't affect anything as this is done by the typechecker now.
Also remove some unfinished tracing code from c_backend.ml
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions