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

(limited to 'build2/config')

diff --git a/build2/config/operation.cxx b/build2/config/operation.cxx
index 3370c2c..68b61c3 100644
--- a/build2/config/operation.cxx
+++ b/build2/config/operation.cxx
@@ -570,7 +570,7 @@ namespace build2
                             root.out_path (),
                             dir_path (), // Out tree.
                             "",
-                            nullptr,
+                            nullopt,
                             trace).first);
 
           if (!quiet)
-- 
cgit v1.1