From 0d90a339c4878bb6289cd8d14eeeda066fc3290a Mon Sep 17 00:00:00 2001
From: Stefen Guzik <guzik2@llnl.gov>
Date: Sun, 12 Oct 2008 16:56:13 +0000
Subject: [PATCH] stl include fix

---
 Plugin/PluginManager.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Plugin/PluginManager.h b/Plugin/PluginManager.h
index 1633ba0b59..dc7c990b09 100644
--- a/Plugin/PluginManager.h
+++ b/Plugin/PluginManager.h
@@ -6,6 +6,7 @@
 #ifndef _PLUGIN_MANAGER_H_
 #define _PLUGIN_MANAGER_H_
 
+#include <cstring>
 #include <map>
 
 class GMSH_Plugin;
-- 
GitLab