From d90ff3e2e85841c624779864e48bf48ef12e9f74 Mon Sep 17 00:00:00 2001
From: Satoshi Ikari <ikari@space.t.u-tokyo.ac.jp>
Date: Mon, 18 Dec 2023 07:43:41 +0100
Subject: [PATCH 1/2] Update s2e-aobc v5.0.2

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

diff --git a/s2e-aobc b/s2e-aobc
index b02da50..e4c5d2a 160000
--- a/s2e-aobc
+++ b/s2e-aobc
@@ -1 +1 @@
-Subproject commit b02da503610859baec76e3f02f1746e92d7418e5
+Subproject commit e4c5d2aa8bc03b7fdc1f90329b5ea6dab5b3b134

From 7939025d68b9f844db4a1a34d6cb86dc066a5c06 Mon Sep 17 00:00:00 2001
From: Satoshi Ikari <ikari@space.t.u-tokyo.ac.jp>
Date: Mon, 18 Dec 2023 09:51:32 +0100
Subject: [PATCH 2/2] Update version info in CMake

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index c7644bd..ab0a0b3 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -2,7 +2,7 @@ cmake_policy(SET CMP0048 NEW)
 project(S2E_AOBC_EXAMPLE
   LANGUAGES CXX
   DESCRIPTION "S2E_AOBC_EXAMPLE"
-  VERSION 1.0.1
+  VERSION 1.0.2
   )
 
 cmake_minimum_required(VERSION 3.13)