From d2abc9ed0fb51b2c858b3e214658439a6a54c485 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 21 Jan 2021 22:18:24 -0800 Subject: [PATCH] remove comment #4956 Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index 5f013b46e..8a808a5a5 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -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: