diff --git a/src/sat/sat_cutset.h b/src/sat/sat_cutset.h
index 706fd121f..2e9288e4c 100644
--- a/src/sat/sat_cutset.h
+++ b/src/sat/sat_cutset.h
@@ -16,6 +16,7 @@
 #include "util/debug.h"
 #include "util/util.h"
 #include <algorithm>
+#include <cstring>
 
 namespace sat {