diff --git a/src/sat/sat_prob.h b/src/sat/sat_prob.h
index d8d58d0911a..69175815412 100644
--- a/src/sat/sat_prob.h
+++ b/src/sat/sat_prob.h
@@ -140,7 +140,7 @@ namespace sat {
 
         model const& get_model() const override { return m_model; }
 
-        double get_priority(bool_var v) const { return 0; }
+        double get_priority(bool_var v) const override { return 0; }
        
         std::ostream& display(std::ostream& out) const;