From 8fde6c207dfa696b0d170f8bc55cb64209436d27 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 31 Jan 2021 07:22:51 -0800 Subject: [PATCH] set unicode to default --- src/ast/char_decl_plugin.cpp | 3 ++- src/util/zstring.cpp | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/ast/char_decl_plugin.cpp b/src/ast/char_decl_plugin.cpp index 5b06bf619..7db705ddc 100644 --- a/src/ast/char_decl_plugin.cpp +++ b/src/ast/char_decl_plugin.cpp @@ -23,7 +23,8 @@ Author: char_decl_plugin::char_decl_plugin(): m_charc_sym("Char") { - m_unicode = gparams::get_value("unicode") == "true"; + std::cout << gparams::get_value("unicode") << "\n"; + m_unicode = gparams::get_value("unicode") != "false"; } char_decl_plugin::~char_decl_plugin() { diff --git a/src/util/zstring.cpp b/src/util/zstring.cpp index 115643bad..b643c2491 100644 --- a/src/util/zstring.cpp +++ b/src/util/zstring.cpp @@ -78,7 +78,7 @@ zstring::zstring(char const* s) { } bool zstring::uses_unicode() const { - return gparams::get_value("unicode") == "true"; + return gparams::get_value("unicode") != "false"; } bool zstring::well_formed() const {