From 11066486d750ffbfa16370721112c87711990979 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 18 Feb 2025 20:48:13 -0800
Subject: [PATCH] #7559

---
 src/math/simplex/model_based_opt.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/simplex/model_based_opt.h b/src/math/simplex/model_based_opt.h
index e58c45cc5..d44a24986 100644
--- a/src/math/simplex/model_based_opt.h
+++ b/src/math/simplex/model_based_opt.h
@@ -82,7 +82,6 @@ namespace opt {
         struct div_def;
         struct const_def;
         struct var_def;
-        struct const_def;
         enum def_t { add_t, mul_t, div_t, const_t, var_t};
         struct def {
             def() = default;