diff --git a/external/oasis-core b/external/oasis-core
index ca29d1f104..9888c20ec7 160000
--- a/external/oasis-core
+++ b/external/oasis-core
@@ -1 +1 @@
-Subproject commit ca29d1f104bc4b0faec432f2bcd6d56c79df547a
+Subproject commit 9888c20ec7e9339456dfd95744f32e7cabe8ebc8