diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2018-09-11 09:30:35 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-11 09:30:35 -0700 |
commit | 2fb903ed7309fd97c848b03f6587c9d0604efd24 (patch) | |
tree | 948e6dbca6abc2eccacb2a2ffa4eb6384ce56bcb /src/smt/model.h | |
parent | b0c630be79034d898e473c167a16fb61c380b733 (diff) |
Avoid calling size() every iteration (#2450)
Diffstat (limited to 'src/smt/model.h')
0 files changed, 0 insertions, 0 deletions