diff --git a/3rd_party/marian-dev b/3rd_party/marian-dev index 831a7362e..9f7a5a3f5 160000 --- a/3rd_party/marian-dev +++ b/3rd_party/marian-dev @@ -1 +1 @@ -Subproject commit 831a7362e26a5d43602658d31a2b52571dd16761 +Subproject commit 9f7a5a3f5329e7ed303fb7d82b6c8ee244dd9d41