Skip to content

Use sys.getdefaultencoding() instead of sys.stdout.encoding#6612

Merged
NikolajBjorner merged 1 commit intoZ3Prover:masterfrom twizmwazin:use-sys-getdefaultencodingFeb 28, 2023