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);