From 835da14afaacc7dd538defd8930e556fefc32ddb Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <5377127+levnach@users.noreply.github.com>
Date: Fri, 27 Feb 2026 17:29:37 -1000
Subject: [PATCH] Update src/math/simplex/model_based_opt.h

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
---
 src/math/simplex/model_based_opt.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/math/simplex/model_based_opt.h b/src/math/simplex/model_based_opt.h
index 67d00240c..0d1f9117b 100644
--- a/src/math/simplex/model_based_opt.h
+++ b/src/math/simplex/model_based_opt.h
@@ -162,18 +162,18 @@ namespace opt {
         struct add_def : public def {
             def* x, *y;
             add_def(def* x, def* y) : x(x), y(y) { m_type = add_t;  x->inc_ref(); y->inc_ref(); }
-            ~add_def() { x->dec_ref(); y->dec_ref(); }
+            ~add_def() override { x->dec_ref(); y->dec_ref(); }
         };
         struct mul_def : public def {
             def* x, *y;
             mul_def(def* x, def* y) : x(x), y(y) { m_type = mul_t;  x->inc_ref(); y->inc_ref(); }
-            ~mul_def() { x->dec_ref(); y->dec_ref(); }
+            ~mul_def() override { x->dec_ref(); y->dec_ref(); }
         };
         struct div_def : public def {
             def* x;
             rational m_div{ 1 };
             div_def(def* x, rational const& d) : x(x), m_div(d) { m_type = div_t; x->inc_ref(); }
-            ~div_def() { x->dec_ref(); }
+            ~div_def() override { x->dec_ref(); }
         };
         struct var_def : public def {
             var v;