From a51f86e860981d7f10316e5f25af3b77b4a947ca Mon Sep 17 00:00:00 2001 From: levlam Date: Fri, 10 Dec 2021 13:09:37 +0300 Subject: [PATCH] Fix SplitSource.php. --- SplitSource.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/SplitSource.php b/SplitSource.php index 853a9bec2..9ba0e74e7 100644 --- a/SplitSource.php +++ b/SplitSource.php @@ -219,7 +219,7 @@ function split_file($file, $chunks, $undo) { $new_content = $common.$namespace_begin.$f.$namespace_end; $std_methods = array(); - preg_match_all('/std::[a-z_0-9]*/', $new_content, $std_methods); + preg_match_all('/std::[a-z_0-9]*|td::unique(?!_)/', $new_content, $std_methods); $std_methods = array_unique($std_methods[0]); $needed_std_headers = array(); @@ -230,6 +230,7 @@ function split_file($file, $chunks, $undo) { 'std::uint32_t' => '', 'std::int32_t' => '', 'std::int64_t' => '', + 'td::unique' => 'algorithm', 'std::fill' => 'algorithm', 'std::find' => 'algorithm', 'std::max' => 'algorithm',