diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-13 23:17:20 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-13 23:17:20 -0400 |
commit | a0e2a43ddba56a58673c1acffe6fd179f78255ee (patch) | |
tree | 8d847ce3b65129e77275715605675a672927c8fe /.travis.yml | |
parent | 1786f86c8e58c4c2a2164c969c0f18d640033f64 (diff) |
Make rewrite_eta_match_base_type_impl a bit faster
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions