From 2a5f1d6e93d032172f3ea4f505e4f192a8652c5f Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 22 Jun 2017 10:32:35 -0700
Subject: [PATCH] add a template instantination

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

diff --git a/src/util/lp/dense_matrix_instances.cpp b/src/util/lp/dense_matrix_instances.cpp
index 1e931211d..95ba01801 100644
--- a/src/util/lp/dense_matrix_instances.cpp
+++ b/src/util/lp/dense_matrix_instances.cpp
@@ -11,6 +11,7 @@ template void lean::dense_matrix<double, double>::apply_from_left(vector<double>
 template lean::dense_matrix<double, double>::dense_matrix(lean::matrix<double, double> const*);
 template lean::dense_matrix<double, double>::dense_matrix(unsigned int, unsigned int);
 template lean::dense_matrix<double, double>& lean::dense_matrix<double, double>::operator=(lean::dense_matrix<double, double> const&);
+template lean::dense_matrix<lean::mpq, lean::mpq>::dense_matrix(unsigned int, unsigned int);
 template lean::dense_matrix<lean::mpq, lean::numeric_pair<lean::mpq> >::dense_matrix(lean::matrix<lean::mpq, lean::numeric_pair<lean::mpq> > const*);
 template void lean::dense_matrix<lean::mpq, lean::numeric_pair<lean::mpq> >::apply_from_left(vector<lean::mpq>&);
 template lean::dense_matrix<lean::mpq, lean::mpq> lean::operator*<lean::mpq, lean::mpq>(lean::matrix<lean::mpq, lean::mpq>&, lean::matrix<lean::mpq, lean::mpq>&);