diff --git a/src/ast/sls/sat_ddfw.h b/src/ast/sls/sat_ddfw.h
index 81b5cae20..206289708 100644
--- a/src/ast/sls/sat_ddfw.h
+++ b/src/ast/sls/sat_ddfw.h
@@ -155,7 +155,7 @@ namespace sat {
 
         inline void inc_reward(literal lit, double w) { reward(lit.var()) += w; }
 
-        inline void dec_reward(literal lit, double w) { if (reward(lit.var()) >= w) reward(lit.var()) -= w; }
+        inline void dec_reward(literal lit, double w) { reward(lit.var()) -= w; }
 
         void check_with_plugin();
         void check_without_plugin();