From 1fd43b4dc2a6558a54f79149c122bf60d1e2d072 Mon Sep 17 00:00:00 2001 From: Marek Roszko Date: Sat, 24 Oct 2020 16:22:02 -0400 Subject: [PATCH] Add missing include for gcc --- include/property_mgr.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/include/property_mgr.h b/include/property_mgr.h index 7975e9d85e..be564dd960 100644 --- a/include/property_mgr.h +++ b/include/property_mgr.h @@ -31,6 +31,9 @@ #include #include +// Needed for stl hash extensions +#include + class PROPERTY_BASE; class TYPE_CAST_BASE;