diff options
| author | Wu, Ke <wuke@cs.umd.edu> | 2014-12-07 11:01:04 -0500 |
|---|---|---|
| committer | Wu, Ke <wuke@cs.umd.edu> | 2014-12-07 11:01:04 -0500 |
| commit | b1e5513ab3012fa58713a64710a641f42161f9d5 (patch) | |
| tree | 9324bc3d5ea7be2332566ff8778041e240760314 /extractor/fast_intersector.h | |
| parent | ada5492cb0a1e866d85f8107520e139e06e0b70c (diff) | |
Remove unused field in TargetTranslation
Diffstat (limited to 'extractor/fast_intersector.h')
0 files changed, 0 insertions, 0 deletions