diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2015-02-03 10:46:48 +0100 |
|---|---|---|
| committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2015-02-03 10:46:48 +0100 |
| commit | 6a6bb14cb03f4203efa09985bdbc15270a4011ab (patch) | |
| tree | e662770aa6ccf43ae74a6547c8b7393e7388e906 /UnityCore/pch | |
| parent | 35ec9452c22f81279a8489364c212f08a67ed3f9 (diff) | |
Unity: Use unordered_map whenever possible
As iterating over it seems just fast as in the ordered version, we just speedup lookups and insertions. (bzr r3899.2.51)
Diffstat (limited to 'UnityCore/pch')
| -rw-r--r-- | UnityCore/pch/unitycore_pch.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/UnityCore/pch/unitycore_pch.hh b/UnityCore/pch/unitycore_pch.hh index 6fdf1d30e..d0b76b782 100644 --- a/UnityCore/pch/unitycore_pch.hh +++ b/UnityCore/pch/unitycore_pch.hh @@ -29,6 +29,7 @@ #include <map> #include <memory> #include <unordered_map> +#include <functional> #include <boost/utility.hpp> #include <dee.h> |