From 595e0f889aa4ef18e8398508009e67a7eba437f7 Mon Sep 17 00:00:00 2001 From: Jason Turner Date: Fri, 13 Nov 2020 09:57:32 -0700 Subject: [PATCH] Fix missing header include --- src/EnergyPlus/PluginManager.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/EnergyPlus/PluginManager.cc b/src/EnergyPlus/PluginManager.cc index c5e5531c8a0..9c9010a3dc3 100644 --- a/src/EnergyPlus/PluginManager.cc +++ b/src/EnergyPlus/PluginManager.cc @@ -52,6 +52,7 @@ #include #include #include +#include #include #include