diff options
author | Daniel Moody <daniel.moody@mongodb.com> | 2023-02-12 00:50:02 -0600 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2023-02-12 09:03:48 +0000 |
commit | 1557c2169f8acd83445f221dccaa53bd013ecf4f (patch) | |
tree | 021dc775f96a41975281870c7edea753132b74c7 /src/mongo/db/exec/working_set.h | |
parent | bc153c1bb266d8613d7a125cf17e57fa99123a8b (diff) | |
download | mongo-1557c2169f8acd83445f221dccaa53bd013ecf4f.tar.gz |
SERVER-72873 add header brackets tidy check.
Diffstat (limited to 'src/mongo/db/exec/working_set.h')
-rw-r--r-- | src/mongo/db/exec/working_set.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/db/exec/working_set.h b/src/mongo/db/exec/working_set.h index 31b7e82ab78..13688799b3b 100644 --- a/src/mongo/db/exec/working_set.h +++ b/src/mongo/db/exec/working_set.h @@ -29,7 +29,7 @@ #pragma once -#include "boost/optional.hpp" +#include <boost/optional.hpp> #include <vector> #include "mongo/db/exec/document_value/document.h" |