From 8476a12c0f70c202ef7a48febd3fe6ba9f40d858 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 21 Mar 2014 15:21:03 -0700
Subject: [PATCH] trying to fix build problems

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_pb.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp
index ef7d6aff8..7aa39b99a 100644
--- a/src/smt/theory_pb.cpp
+++ b/src/smt/theory_pb.cpp
@@ -25,6 +25,14 @@ Notes:
 #include "uint_set.h"
 #include "smt_model_generator.h"
 #include "pb_rewriter_def.h"
+#include "sparse_matrix_def.h"
+#include "simplex_def.h"
+
+namespace simplex {
+template class simplex<mpq_ext>;
+template class sparse_matrix<mpq_ext>;
+};
+
 
 namespace smt {