startswith

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jul 22, 2022 · 4368ec9 · 4368ec9
1 parent 845e852
commit 4368ec9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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