diff --git a/coredsl b/coredsl
index 8c9aee3..5182517 160000
--- a/coredsl
+++ b/coredsl
@@ -1 +1 @@
-Subproject commit 8c9aee3134e4cc8f039838141c79227f22dfff8a
+Subproject commit 51825171cf5e5140fcd66a181b7051d5d4c66c43