diff options
author | Jason Gross <jgross@mit.edu> | 2018-08-17 04:08:24 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2018-08-17 04:08:24 -0400 |
commit | 29f1c8b447294b4a0a6a5127c6db23d54d43343f (patch) | |
tree | c65dbc8c52d227f88192ae98a22ebeb6382a257d /failures.txt | |
parent | dd15798b835d676288d741ce6cf13ab7dfc440cc (diff) |
Revert "Add more instances for type.related"
This reverts commit 68c4b1ad628b82503e674aa42435d1d4bfbcbe3f.
I think it was making things too slow.
Diffstat (limited to 'failures.txt')
0 files changed, 0 insertions, 0 deletions