diff --git a/src/ast/sls/sat_ddfw.cpp b/src/ast/sls/sat_ddfw.cpp
index da6d567f8..1e9c484af 100644
--- a/src/ast/sls/sat_ddfw.cpp
+++ b/src/ast/sls/sat_ddfw.cpp
@@ -558,6 +558,7 @@ namespace sat {
     void ddfw::shift_weights() {
         ++m_shifts;
         bool shifted = false;
+        flatten_use_list();
         for (unsigned to_idx : m_unsat) {
             SASSERT(!m_clauses[to_idx].is_true());
             unsigned from_idx = select_max_same_sign(to_idx);