diff options
| author | Alasdair | 2019-02-08 00:51:27 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-08 00:51:27 +0000 |
| commit | c2e69e8334cba2f0898c73bcb8ca6cce15858fbf (patch) | |
| tree | 48fe5d17fe94a0fe0e8229ea9e3085470753b3f1 /src/process_file.mli | |
| parent | f397a40e6cf98b685dd15dfcd4ea2c9524cbfad7 (diff) | |
Remove dead code from type-checker
add_num_def and get_num_def are no longer used. The rewrite pass that
used them would fail on Nexp_ids because of this, but seeing as that
never happened we can probably assume that particular line of code is
simply never touched by any of our models or test suite?
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions