From 45cfb80d1403e6dd59c0cb86d5b293933ec1b1d2 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Thu, 10 Sep 2015 09:01:44 +0100
Subject: [PATCH] tentatively fix another issue with char signedness as
 reported in issue #210

Signed-off-by: Nuno Lopes <nlopes@microsoft.com>
---
 src/smt/smt_context.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_context.h b/src/smt/smt_context.h
index fb20a81c6..231b73fe3 100644
--- a/src/smt/smt_context.h
+++ b/src/smt/smt_context.h
@@ -157,7 +157,7 @@ namespace smt {
         u_map<bool_var>             m_expr2bool_var;
 #endif
         ptr_vector<expr>            m_bool_var2expr;         // bool_var -> expr
-        char_vector                 m_assignment;  //!< mapping literal id -> assignment lbool
+        signed_char_vector          m_assignment;  //!< mapping literal id -> assignment lbool
         vector<watch_list>          m_watches;     //!< per literal
         vector<clause_set>          m_lit_occs;    //!< index for backward subsumption
         svector<bool_var_data>      m_bdata;       //!< mapping bool_var -> data