diff --git a/external/oasis-core b/external/oasis-core
index cbd96dfa7a..a9a76a035d 160000
--- a/external/oasis-core
+++ b/external/oasis-core
@@ -1 +1 @@
-Subproject commit cbd96dfa7a26c7ba425b3cd132dc2b5c0ef846ba
+Subproject commit a9a76a035d176bd650905a91399f961dc7c5d12a