diff --git a/tools/Torch b/tools/Torch
index de6b8fa4..3bea96b1 160000
--- a/tools/Torch
+++ b/tools/Torch
@@ -1 +1 @@
-Subproject commit de6b8fa447b6db093c95375e9b4ca82878f04c90
+Subproject commit 3bea96b12b13c64f9f2dfc76e4475ea434b996ef