diff --git a/external/dev-ocean b/external/dev-ocean
index cbdb96cf..96e18f52 160000
--- a/external/dev-ocean
+++ b/external/dev-ocean
@@ -1 +1 @@
-Subproject commit cbdb96cf4d8e1f98a79b82db00f57dc0691b2b3d
+Subproject commit 96e18f52dca83264b53348387c295376d6b25adb