From 6baa469073edab11dba6c43e88fc9370d09e1aa2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 31 Oct 2013 21:32:11 -0700
Subject: [PATCH] local updates to opt_solver

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

diff --git a/src/opt/opt_solver.cpp b/src/opt/opt_solver.cpp
index 64d8a32be..9b28af631 100644
--- a/src/opt/opt_solver.cpp
+++ b/src/opt/opt_solver.cpp
@@ -77,6 +77,9 @@ namespace opt {
         else if (typeid(smt::theory_i_arith) == typeid(*arith_theory)) {   
             return dynamic_cast<smt::theory_i_arith&>(*arith_theory); 
         }
+        else if (typeid(smt::theory_inf_arith) == typeid(*arith_theory)) {   
+            return dynamic_cast<smt::theory_inf_arith&>(*arith_theory); 
+        }
         else if (typeid(smt::theory_rdl&) == typeid(*arith_theory)) {   
             return dynamic_cast<smt::theory_rdl&>(*arith_theory); 
         }