diff --git a/src/sat/sat_ddfw.h b/src/sat/sat_ddfw.h
index 1d28a82c4..ed9936f0a 100644
--- a/src/sat/sat_ddfw.h
+++ b/src/sat/sat_ddfw.h
@@ -219,8 +219,6 @@ namespace sat {
 
         void add(solver const& s) override;
 
-        void set_bias(bool_var v, int bias) override { m_vars[v].m_bias = bias; }
-
         bool get_value(bool_var v) const override { return value(v); }
        
         std::ostream& display(std::ostream& out) const;
diff --git a/src/sat/sat_types.h b/src/sat/sat_types.h
index 626a3e606..c92a8bbeb 100644
--- a/src/sat/sat_types.h
+++ b/src/sat/sat_types.h
@@ -91,7 +91,6 @@ namespace sat {
         virtual model const& get_model() const = 0;
         virtual void collect_statistics(statistics& st) const = 0;        
         virtual double get_priority(bool_var v) const { return 0; }
-        virtual void set_bias(bool_var v, int bias) {}
         virtual bool get_value(bool_var v) const { return true; }
     };