From c4e0f8ce8fb1f4540275b1cb811f1281f1af173d Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Mon, 1 Jul 2019 11:52:34 +0700
Subject: [PATCH] Python: Fix doc comment typo.

---
 src/api/python/z3/z3.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 712b9aace..e888d389b 100644
--- 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.