Try to fix #738

JonathanSalwan · Nov 11, 2018 · db520a9 · db520a9
1 parent b44e8c2
commit db520a9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/libtriton/ast/z3/tritonToZ3Ast.cpp b/src/libtriton/ast/z3/tritonToZ3Ast.cpp
@@ -161,7 +161,7 @@ namespace triton {
         }
 
         case DECIMAL_NODE: {
-          std::string value(reinterpret_cast<triton::ast::DecimalNode*>(node.get())->getValue());
+          std::string value(reinterpret_cast<triton::ast::DecimalNode*>(node.get())->getValue().convert_to<std::string>());
           return this->context.int_val(value.c_str());
         }
 
@@ -277,7 +277,7 @@ namespace triton {
           /* If the conversion is used to evaluate a node, we concretize symbolic variables */
           if (this->isEval) {
             triton::uint512 value = reinterpret_cast<triton::ast::VariableNode*>(node.get())->evaluate();
-            std::string strValue(value);
+            std::string strValue(value.convert_to<std::string>());
             return this->context.bv_val(strValue.c_str(), symVar->getSize());
           }