fix include

MarcG-TUE · MarcG-TUE · commit 2801978fb173 · 2025-02-08T22:13:12.000+01:00
diff --git a/src/base/string/cstring.cc b/src/base/string/cstring.cc
@@ -42,7 +42,7 @@
 #include <cctype>
 #include <cstdio>
 #include <sstream>
-#include <string.h>
+#include <cstring>
 
 namespace MaxPlus {
 
