From 5164c843513212ab1ac1f721c4de04b6a865eb0c Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 19 Jan 2017 16:50:40 +0200 Subject: Get rid of extension_pool --- build2/scope | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build2/scope') diff --git a/build2/scope b/build2/scope index 6b5af22..f22383a 100644 --- a/build2/scope +++ b/build2/scope @@ -218,7 +218,7 @@ namespace build2 // necessarily normalized). Return NULL if not found. // const target_type* - find_target_type (name&, const string*& ext) const; + find_target_type (name&, optional& ext) const; // Dynamically derive a new target type from an existing one. Return the // reference to the target type and an indicator of whether it was -- cgit v1.1