From d47dd159d7019c103e5a78d9ec1c291919418c9f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 14 Dec 2022 09:43:29 -0800
Subject: [PATCH] set encoding into gparams because this is the only entry
 point in zstring #6490

---
 src/params/context_params.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/params/context_params.cpp b/src/params/context_params.cpp
index 294c5cbbe..fbdd90b8c 100644
--- a/src/params/context_params.cpp
+++ b/src/params/context_params.cpp
@@ -109,6 +109,7 @@ void context_params::set(char const * param, char const * value) {
     else if (p == "encoding") {
         if (strcmp(value, "unicode") == 0 || strcmp(value, "bmp") == 0 || strcmp(value, "ascii") == 0) {
             m_encoding = value;
+            gparams::set("encoding", value);
         }
         else {
             std::stringstream strm;