From 4368ec995364b96164e8f1272962f55f3fa816cf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 22 Jul 2022 11:53:07 -0700 Subject: [PATCH] startswith Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 7d1f43629e4..f78963344a8 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -133,7 +133,7 @@ def _configure_z3(): # Allow command-line arguments to add and override Z3_ options for i in range(len(sys.argv) - 1): key = sys.argv[i] - if key.starts_with("Z3_"): + if key.startswith("Z3_"): val = sys.argv[i + 1].upper() if val == "TRUE" or val == "FALSE": cmake_options[key] = val