From 18340b0e95d984fa7eda0e21efea22431af5d025 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 26 May 2016 18:42:57 +0100
Subject: [PATCH] fix for pb2bv_model_converter

---
 src/tactic/arith/pb2bv_model_converter.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tactic/arith/pb2bv_model_converter.cpp b/src/tactic/arith/pb2bv_model_converter.cpp
index e04383fc6..8dbacc6cd 100644
--- a/src/tactic/arith/pb2bv_model_converter.cpp
+++ b/src/tactic/arith/pb2bv_model_converter.cpp
@@ -110,8 +110,8 @@ model_converter * pb2bv_model_converter::translate(ast_translation & translator)
         func_decl * f1 = translator(it->first);
         func_decl * f2 = translator(it->second);
         res->m_c2bit.push_back(func_decl_pair(f1, f2));
-        m.inc_ref(f1);
-        m.inc_ref(f2);
+        to.inc_ref(f1);
+        to.inc_ref(f2);
     }
     return res;
 }