diff options
Diffstat (limited to 'memory.patch')
| -rw-r--r-- | memory.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/memory.patch b/memory.patch new file mode 100644 index 000000000000..964f45ac45ae --- /dev/null +++ b/memory.patch @@ -0,0 +1,10 @@ +--- a/src/systems/base/system.h ++++ b/src/systems/base/system.h +@@ -33,6 +33,7 @@ + #include <boost/filesystem/path.hpp> + + #include <map> ++#include <memory> + #include <sstream> + #include <string> + #include <utility> |