diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-08-09 15:12:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-09 15:12:15 +0200 |
| commit | 594cfd1d4d3c3fb0aa23ad7cb8f1c0a8296753f6 (patch) | |
| tree | 5a2215b768ab472ab335632e6dbb0e3aa2239401 | |
| parent | 99f1c71582bce51aab25b3a50b15eec002545ef4 (diff) | |
| parent | 4444d5cf680e40ca287c4f30c9a4b41a443d9c4f (diff) | |
| download | yosys-594cfd1d4d3c3fb0aa23ad7cb8f1c0a8296753f6.tar.gz yosys-594cfd1d4d3c3fb0aa23ad7cb8f1c0a8296753f6.tar.bz2 yosys-594cfd1d4d3c3fb0aa23ad7cb8f1c0a8296753f6.zip | |
Merge pull request #3441 from YosysHQ/micko/smtio-utf-8
Switched to utf-8 in smtio.py
| -rw-r--r-- | backends/smt2/smtio.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 91efc13a3..3ba43825c 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -337,7 +337,7 @@ class SmtIo: def p_thread_main(self): while True: - data = self.p.stdout.readline().decode("ascii") + data = self.p.stdout.readline().decode("utf-8") if data == "": break self.p_queue.put(data) self.p_queue.put("") @@ -359,7 +359,7 @@ class SmtIo: def p_write(self, data, flush): assert self.p is not None - self.p.stdin.write(bytes(data, "ascii")) + self.p.stdin.write(bytes(data, "utf-8")) if flush: self.p.stdin.flush() def p_read(self): |