diff options
| author | Yuri Gorshenin <y@maps.me> | 2016-01-20 18:16:46 +0300 |
|---|---|---|
| committer | Sergey Yershov <yershov@corp.mail.ru> | 2016-03-23 16:14:18 +0300 |
| commit | b286694a5861c2e1e03dbc571c806a7de3f30ea5 (patch) | |
| tree | 11c78ed6f3d892f7b8d03d2d372433d1c25d1d42 /std | |
| parent | 4589286244fe7542d83dc262e88da160dafb023d (diff) | |
[search] Reduced number of MatchViewportAndPosition() calls.
Diffstat (limited to 'std')
| -rw-r--r-- | std/algorithm.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/std/algorithm.hpp b/std/algorithm.hpp index 7ee4f69483..8c49244ac3 100644 --- a/std/algorithm.hpp +++ b/std/algorithm.hpp @@ -31,6 +31,7 @@ using std::reverse; using std::set_intersection; using std::set_union; using std::sort; +using std::stable_partition; using std::stable_sort; using std::swap; using std::unique; |