fix #6599

Z3Prover · Feb 18, 2023 · 6092bf5 · 6092bf5
1 parent daeaed1
commit 6092bf5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;