diff --git a/s2e-core b/s2e-core
index 45c0c76..816df08 160000
--- a/s2e-core
+++ b/s2e-core
@@ -1 +1 @@
-Subproject commit 45c0c76c005f87fe38ba9c5dd9f0cb15b3cf7290
+Subproject commit 816df088b697b2c4a5f18865c93f41dfc3dfb165