diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-08-09 12:54:48 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-08-09 12:54:48 +0200 |
| commit | 4444d5cf680e40ca287c4f30c9a4b41a443d9c4f (patch) | |
| tree | 5a2215b768ab472ab335632e6dbb0e3aa2239401 /backends/smt2/smtio.py | |
| parent | 99f1c71582bce51aab25b3a50b15eec002545ef4 (diff) | |
| download | yosys-4444d5cf680e40ca287c4f30c9a4b41a443d9c4f.tar.gz yosys-4444d5cf680e40ca287c4f30c9a4b41a443d9c4f.tar.bz2 yosys-4444d5cf680e40ca287c4f30c9a4b41a443d9c4f.zip | |
Switched to utf-8 in smtio.py
Diffstat (limited to 'backends/smt2/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): |