From 3f93cc3f0b9bca06012725c633742550a8712934 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 30 Jan 2021 16:39:31 -0800
Subject: [PATCH] use unicode by default

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/params/context_params.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/params/context_params.h b/src/params/context_params.h
index c5555dfb0..f90aa1b86 100644
--- a/src/params/context_params.h
+++ b/src/params/context_params.h
@@ -44,7 +44,7 @@ public:
     bool        m_smtlib2_compliant { false }; // it must be here because it enable/disable the use of coercions in the ast_manager.
     unsigned    m_timeout { UINT_MAX } ;
     bool        m_statistics { false };
-    bool        m_unicode { false };
+    bool        m_unicode { true };
 
     unsigned rlimit() const { return m_rlimit; }
     context_params();