From a63e0d801e5f24ff0ab2d804f3aa5d15ddb16fb9 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 15 Oct 2024 08:04:58 -0700
Subject: [PATCH] add a template instantiotion

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/static_matrix.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/static_matrix.cpp b/src/math/lp/static_matrix.cpp
index 82538b303..a5b6f59e5 100644
--- a/src/math/lp/static_matrix.cpp
+++ b/src/math/lp/static_matrix.cpp
@@ -61,6 +61,6 @@ template bool lp::static_matrix<lp::mpq, lp::mpq>::pivot_row_to_row_given_cell(u
 template bool lp::static_matrix<lp::mpq, lp::numeric_pair<lp::mpq> >::pivot_row_to_row_given_cell(unsigned int, column_cell&, unsigned int);
 template void lp::static_matrix<lp::mpq, lp::numeric_pair<lp::mpq> >::pivot_row_to_row_given_cell_with_sign(unsigned int, column_cell&, unsigned int, int);
 template void lp::static_matrix<lp::mpq, lp::numeric_pair<lp::mpq> >::remove_element(vector<lp::row_cell<lp::mpq>, true, unsigned int>&, lp::row_cell<lp::mpq>&);
-
+template void lp::static_matrix<mpq, mpq>::pivot_row_to_row_given_cell_with_sign(unsigned int, lp::row_cell<lp::empty_struct>&, unsigned int, int);
 }