1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py
index 2f780a50d..cdd92f228 100755
--- a/configure.py
+++ b/configure.py
@@ -1581,7 +1581,7 @@ def generate_amalgamation(build_config):
                 else:
                     match = std_include.search(line)
 
-                    if match and match.group(1) != 'functional':
+                    if match:
                         self.all_std_includes.add(match.group(1))
                     else:
                         yield line