From 75d03492c0a42031a987969a6eb20dd2121f54d1 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Fri, 13 Mar 2015 14:39:46 +0200 Subject: Rename set_key to map_key; feels more correct --- build/utility | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'build/utility') diff --git a/build/utility b/build/utility index cd0d8ad..489a5eb 100644 --- a/build/utility +++ b/build/utility @@ -16,7 +16,7 @@ #include #include -#include +#include #include namespace build @@ -211,7 +211,7 @@ namespace build size () const {return static_cast (vec_.size ());} private: - using key_type = set_key; + using key_type = map_key; using value_type = string_table_element; using map_type = std::unordered_map; using traits = string_table_traits; -- cgit v1.1