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/dist/operation.cxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build2/dist')

diff --git a/build2/dist/operation.cxx b/build2/dist/operation.cxx
index 47e188c..9535566 100644
--- a/build2/dist/operation.cxx
+++ b/build2/dist/operation.cxx
@@ -160,7 +160,7 @@ namespace build2
             move (d),
             move (out),
             p.leaf ().base ().string (),
-            &extension_pool.find (p.extension ()), // Specified.
+            p.extension (),              // Specified.
             trace);
         }
       };
-- 
cgit v1.1