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

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

diff --git a/src/smt/theory_diff_logic.cpp b/src/smt/theory_diff_logic.cpp
index cb1812f9f..fd5bbd5da 100644
--- a/src/smt/theory_diff_logic.cpp
+++ b/src/smt/theory_diff_logic.cpp
@@ -28,7 +28,11 @@ template class theory_diff_logic<idl_ext>;
 template class theory_diff_logic<sidl_ext>;
 template class theory_diff_logic<rdl_ext>;
 template class theory_diff_logic<srdl_ext>;
-template class simplex::simplex<simplex::mpq_ext>;
 
 
+};
+
+namespace simplex {
+template class simplex<mpq_ext>;
+
 };