summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/find-unneeded-includes5
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/find-unneeded-includes b/bin/find-unneeded-includes
index 8ba5a7d354a6..a6ec228fce58 100755
--- a/bin/find-unneeded-includes
+++ b/bin/find-unneeded-includes
@@ -64,7 +64,10 @@ def ignoreRemoval(include, toAdd, absFileName, moduleRules):
"functional": "bits/std_function.h",
"cmath": "bits/std_abs.h",
"ctime": "bits/types/clock_t.h",
- "cstdint": "bits/stdint-uintn.h"
+ "cstdint": "bits/stdint-uintn.h",
+ # Keep using the o3tl wrapper for <optional>.
+ # Works around <https://github.com/include-what-you-use/include-what-you-use/issues/752>.
+ "o3tl/optional.hxx": "optional",
}
for k, v in bits.items():
if include == k and v in toAdd: