From d4ba3a886418abff4717cd07339275eef38c3a43 Mon Sep 17 00:00:00 2001
From: Ivo Wever <ivo.wever@gmail.com>
Date: Sat, 28 Mar 2015 23:08:46 +0100
Subject: [PATCH] Corrected typo: interger -> integer

---
 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 e58e47640..ca45d8d90 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -2612,7 +2612,7 @@ def _py2expr(a, ctx=None):
         _z3_assert(False, "Python bool, int, long or float expected")
 
 def IntSort(ctx=None):
-    """Return the interger sort in the given context. If `ctx=None`, then the global context is used.
+    """Return the integer sort in the given context. If `ctx=None`, then the global context is used.
     
     >>> IntSort()
     Int