Python: Fix doc comment typo.

Z3Prover · Jul 1, 2019 · c4e0f8c · c4e0f8c
1 parent 60c504f
commit c4e0f8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
@@ -1301,7 +1301,7 @@ def Const(name, sort):
     return _to_expr_ref(Z3_mk_const(ctx.ref(), to_symbol(name, ctx), sort.ast), ctx)
 
 def Consts(names, sort):
-    """Create a several constants of the given sort.
+    """Create several constants of the given sort.
 
     `names` is a string containing the names of all constants to be created.
     Blank spaces separate the names of different constants.