diff --git a/tools/Torch b/tools/Torch index f5f8bbce..37258535 160000 --- a/tools/Torch +++ b/tools/Torch @@ -1 +1 @@ -Subproject commit f5f8bbcef0506953002368ec1a2f6f8aa2738571 +Subproject commit 37258535fe2cde3e00149314778f135adf76d42b