mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-27 01:39:22 +00:00
Code Activity

remove comment #4956

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-01-21 22:18:24 -08:00
parent 0eb04df834
commit d2abc9ed0f
1 changed files with 1 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

11
scripts/update_api.py
View file

@ -1819,15 +1819,6 @@ if _lib is None:
print(" builtins.Z3_LIB_DIRS = [ '/path/to/libz3.%s' ] " % _ext)
raise Z3Exception("libz3.%s not found." % _ext)
# def _str_to_bytes(s):
# if isinstance(s, str):
# try:
# return s.encode('latin-1')
# except:
# # kick the bucket down the road. :-J
# return s
# else:
# return s
if sys.version < '3':
def _str_to_bytes(s):
@ -1840,7 +1831,7 @@ else:
enc = sys.stdout.encoding
return s.encode(enc if enc != None else 'latin-1')
else:
return s
return s
def _to_pystr(s):
if s != None: