diff options
-rwxr-xr-x | bin/find-unneeded-includes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/find-unneeded-includes b/bin/find-unneeded-includes index e912a9155c82..4196640e5d2b 100755 --- a/bin/find-unneeded-includes +++ b/bin/find-unneeded-includes @@ -57,6 +57,7 @@ def ignoreRemoval(include, toAdd, absFileName, moduleRules): bits = { "exception": "bits/exception.h", "memory": "bits/shared_ptr.h", + "functional": "bits/std_function.h", } for k, v in bits.items(): if include == k and v in toAdd: |