From 4d62ff6b9fe241e76ae64e8fe4322df1980a8aaf Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 24 Oct 2014 15:53:52 +0100 Subject: [PATCH] Spelling. Thanks to codeplex user regehr for reporting this. Signed-off-by: Christoph M. Wintersteiger --- src/api/python/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index f2318021f..e58e47640 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -1398,7 +1398,7 @@ def BoolVector(prefix, sz, ctx=None): return [ Bool('%s__%s' % (prefix, i)) for i in range(sz) ] def FreshBool(prefix='b', ctx=None): - """Return a fresh Bolean constant in the given context using the given prefix. + """Return a fresh Boolean constant in the given context using the given prefix. If `ctx=None`, then the global context is used.