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/algorithm.ixx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'build2/algorithm.ixx')

diff --git a/build2/algorithm.ixx b/build2/algorithm.ixx
index 84b0ee7b..90a0789d 100644
--- a/build2/algorithm.ixx
+++ b/build2/algorithm.ixx
@@ -30,7 +30,7 @@ namespace build2
           const dir_path& dir,
           const dir_path& out,
           const string& name,
-          const string* ext,
+          const optional<string>& ext,
           scope* scope,
           const optional<string>& proj)
   {
@@ -43,7 +43,7 @@ namespace build2
   search (const dir_path& dir,
           const dir_path& out,
           const string& name,
-          const string* ext,
+          const optional<string>& ext,
           scope* scope)
   {
     return static_cast<T&> (
-- 
cgit