From e4cc9e8404686f9304be57429da38d443ef2c18a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 9 Jan 2020 10:22:19 -0800
Subject: [PATCH] memcpy include

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_cutset.h | 1 +
 1 file changed, 1 insertion(+)

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 {