diff --git a/external/dev-ocean b/external/dev-ocean
index f7f8e10a..560a39c9 160000
--- a/external/dev-ocean
+++ b/external/dev-ocean
@@ -1 +1 @@
-Subproject commit f7f8e10a5babd85fca48d2df40f6165cfb68fdff
+Subproject commit 560a39c94cf688e07195ca453282010f1f24f58d