diff --git a/lib/default/rddl-sdk b/lib/default/rddl-sdk index 714348f2b758..d67abd7c311c 160000 --- a/lib/default/rddl-sdk +++ b/lib/default/rddl-sdk @@ -1 +1 @@ -Subproject commit 714348f2b7586ca83cbdbdd1fb5ed82f8e5e3a9d +Subproject commit d67abd7c311ca91ae2a323fdb1779ff7a7c6e0ef