From 64674386de2f956e0f1991dccee26bc85d42325e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 15 Jul 2016 13:39:50 -0700
Subject: [PATCH] fix ubuntu build failure

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_context.cpp              | 1 +
 src/math/simplex/model_based_opt.cpp | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp
index 45ed06ae9..a5804bd45 100644
--- a/src/api/api_context.cpp
+++ b/src/api/api_context.cpp
@@ -17,6 +17,7 @@ Author:
 Revision History:
 
 --*/
+#include<typeinfo>
 #include"api_context.h"
 #include"smtparser.h"
 #include"version.h"
diff --git a/src/math/simplex/model_based_opt.cpp b/src/math/simplex/model_based_opt.cpp
index cafa6ee3a..c31eabb62 100644
--- a/src/math/simplex/model_based_opt.cpp
+++ b/src/math/simplex/model_based_opt.cpp
@@ -963,7 +963,6 @@ namespace opt {
             unsigned row_id2 = row_ids[i];
             if (!visited.contains(row_id2)) {                
                 visited.insert(row_id2);
-                row const& r2 = m_rows[row_id2];
                 b = get_coefficient(row_id2, x);
                 if (!b.is_zero()) {
                     resolve(row_id1, a, row_id2, x);