From fb957601376865f9c8bad97df175dabb7d01a39b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 7 Nov 2023 10:53:55 +0100
Subject: [PATCH] remove template

---
 src/math/lp/lar_term.h | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/math/lp/lar_term.h b/src/math/lp/lar_term.h
index fc73f949f..5ce1ff2fc 100644
--- a/src/math/lp/lar_term.h
+++ b/src/math/lp/lar_term.h
@@ -52,8 +52,7 @@ public:
     
     unsigned size() const { return static_cast<unsigned>(m_coeffs.size()); }
 
-    template <typename T>
-    const T &   coeffs() const {
+    u_map<mpq> const &   coeffs() const {
         return m_coeffs;
     }
     
@@ -97,9 +96,8 @@ public:
 
     vector<std::pair<mpq, lpvar>> coeffs_as_vector() const {
         vector<std::pair<mpq, lpvar>> ret;
-        for (const auto & p :  m_coeffs) {
-            ret.push_back(std::make_pair(p.m_value, p.m_key));
-        }
+        for (const auto & [c, v] :  m_coeffs) 
+            ret.push_back({v, c});
         return ret;
     }