X-Git-Url: http://plrg.eecs.uci.edu/git/?p=folly.git;a=blobdiff_plain;f=folly%2Fexperimental%2Fhazptr%2Fmemory_resource.h;h=8a855685baa991fa006033ef463bae4ab3cad000;hp=952c8397405ad2de0ebda035e2ce5467596de9c8;hb=0f5638fe81b9dafd9a222bc5e9b1047692e0326e;hpb=ffc409c4cdcb5c29991372e7c5478863350c38e8 diff --git a/folly/experimental/hazptr/memory_resource.h b/folly/experimental/hazptr/memory_resource.h index 952c8397..8a855685 100644 --- a/folly/experimental/hazptr/memory_resource.h +++ b/folly/experimental/hazptr/memory_resource.h @@ -15,6 +15,8 @@ */ #pragma once +#include + //////////////////////////////////////////////////////////////////////////////// /// Disclaimer: This is intended only as a partial stand-in for /// std::pmr::memory_resource (C++17) as needed for developing a @@ -45,7 +47,6 @@ memory_resource* new_delete_resource(); //////////////////////////////////////////////////////////////////////////////// /// Implementation //////////////////////////////////////////////////////////////////////////////// -#include inline memory_resource** default_mr_ptr() { /* library-local */ static memory_resource* default_mr =