diff options
| author | Tim King <taking@google.com> | 2015-11-09 11:16:47 -0800 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2015-11-09 11:16:47 -0800 |
| commit | 50c8533760bfd5b1f803d52bc4318c544521e6af (patch) | |
| tree | b089e94f6607c25b3b77207ffcb605cc531be3d7 /test/regress/regress0/ite.smt2 | |
| parent | 6b2e8be53f0839809a2f76df0754b37a7e56db08 (diff) | |
Replacing an inefficient use of std::find(...) to use std::set's find() instead.
Diffstat (limited to 'test/regress/regress0/ite.smt2')
0 files changed, 0 insertions, 0 deletions