diff --git a/external/oasis-core b/external/oasis-core
index c4cdfca1d4..00801ce057 160000
--- a/external/oasis-core
+++ b/external/oasis-core
@@ -1 +1 @@
-Subproject commit c4cdfca1d4a17b67181a2911dcc07b18a31a65cb
+Subproject commit 00801ce057720b694c6ee51c916a830f2f85bca9