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/context | 2 --
 1 file changed, 2 deletions(-)

(limited to 'build2/context')

diff --git a/build2/context b/build2/context
index cb83105..1dd9daf 100644
--- a/build2/context
+++ b/build2/context
@@ -16,8 +16,6 @@ namespace build2
 {
   class file;
 
-  extern string_pool extension_pool;
-
   // Current action (meta/operation).
   //
   // The names unlike info are available during boot but may not yet be
-- 
cgit v1.1