diff --git a/solvers/twd b/solvers/twd
index b7ec3ac16265fde72091329e048911fac59a4fbe..efe5a32e55fb0436a22753f8e3e49cf25fb93c23 160000
--- a/solvers/twd
+++ b/solvers/twd
@@ -1 +1 @@
-Subproject commit b7ec3ac16265fde72091329e048911fac59a4fbe
+Subproject commit efe5a32e55fb0436a22753f8e3e49cf25fb93c23