From 5164c843513212ab1ac1f721c4de04b6a865eb0c Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 19 Jan 2017 16:50:40 +0200
Subject: Get rid of extension_pool

---
 build2/utility | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'build2/utility')

diff --git a/build2/utility b/build2/utility
index 464c1fe..b162a9d 100644
--- a/build2/utility
+++ b/build2/utility
@@ -437,17 +437,6 @@ namespace build2
   unsigned int
   to_version (const string&);
 
-  // Pools (@@ perhaps move into a separate header).
-  //
-  struct string_pool: std::unordered_set<std::string>
-  {
-    const std::string&
-    find (const char* s) {return *emplace (s).first;}
-
-    const std::string&
-    find (const std::string& s) {return *emplace (s).first;}
-  };
-
   // Initialize build2 global state (verbosity, home/work directories, etc).
   // Should be called early in main() once.
   //
-- 
cgit v1.1