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/preprocessing | |
| parent | b0c630be79034d898e473c167a16fb61c380b733 (diff) | |
Avoid calling size() every iteration (#2450)
Diffstat (limited to 'src/preprocessing')
| -rw-r--r-- | src/preprocessing/passes/global_negate.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/global_negate.cpp b/src/preprocessing/passes/global_negate.cpp index ae71b3e78..8f48d417c 100644 --- a/src/preprocessing/passes/global_negate.cpp +++ b/src/preprocessing/passes/global_negate.cpp @@ -103,7 +103,7 @@ PreprocessingPassResult GlobalNegate::applyInternal( NodeManager* nm = NodeManager::currentNM(); Node simplifiedNode = simplify(assertionsToPreprocess->ref(), nm); Node trueNode = nm->mkConst(true); - for (unsigned i = 0; i < assertionsToPreprocess->size(); ++i) + for (unsigned i = 0, size = assertionsToPreprocess->size(); i < size; ++i) { if (i == 0) { |