--- src/frontend/gmetadom/gmetadom.hh.orig 2019-02-22 10:53:28 UTC +++ src/frontend/gmetadom/gmetadom.hh @@ -19,6 +19,7 @@ #ifndef __gmetadom_hh__ #define __gmetadom_hh__ +#include #include namespace DOM = GdomeSmartDOM;