From 7a76e160bb898495cd4966efbea803647cf61eff Mon Sep 17 00:00:00 2001
From: Satoshi Ikari <ikari@space.t.u-tokyo.ac.jp>
Date: Mon, 18 Dec 2023 15:40:57 +0100
Subject: [PATCH] Update s2e-core to v7.1.1

---
 s2e-core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/s2e-core b/s2e-core
index 816df08..980293f 160000
--- a/s2e-core
+++ b/s2e-core
@@ -1 +1 @@
-Subproject commit 816df088b697b2c4a5f18865c93f41dfc3dfb165
+Subproject commit 980293fb84abad2848dae664f35dfee8f6f5b6a4