From 1dfe1a975b951c047c61ace0646fa4a21b0b45b0 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Tue, 28 Jan 2020 20:43:22 -0700
Subject: [PATCH] Add explicit instantiation of
 update_inf_cost_for_column_tableau.

---
 src/math/lp/lp_primal_core_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/lp_primal_core_solver.cpp b/src/math/lp/lp_primal_core_solver.cpp
index 054391c62..8a4359806 100644
--- a/src/math/lp/lp_primal_core_solver.cpp
+++ b/src/math/lp/lp_primal_core_solver.cpp
@@ -38,5 +38,6 @@ template void lp::lp_primal_core_solver<double, double>::clear_breakpoints();
 template bool lp::lp_primal_core_solver<lp::mpq, lp::mpq>::update_basis_and_x_tableau(int, int, lp::mpq const&);
 template bool lp::lp_primal_core_solver<double, double>::update_basis_and_x_tableau(int, int, double const&);
 template bool lp::lp_primal_core_solver<lp::mpq, lp::numeric_pair<lp::mpq> >::update_basis_and_x_tableau(int, int, lp::numeric_pair<lp::mpq> const&);
+template void lp::lp_primal_core_solver<rational, lp::numeric_pair<rational> >::update_inf_cost_for_column_tableau(unsigned);
 
 }