fix: cstring lib

algebraic-dev · algebraic-dev · commit 8b35655f6760 · 2025-05-16T13:17:24.000-03:00
diff --git a/src/runtime/uv/dns.cpp b/src/runtime/uv/dns.cpp
@@ -5,6 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Sofia Rodrigues, Henrik Böving
 */
 #include "runtime/uv/dns.h"
+#include <cstring>
 
 namespace lean {
 #ifndef LEAN_EMSCRIPTEN
