From 8e47a6ebe9be706f8cc97f8fec902588b5fd7c2f Mon Sep 17 00:00:00 2001
From: Jean Jordaan <jean.jordaan@gmail.com>
Date: Thu, 22 Feb 2018 20:17:49 +0700
Subject: [PATCH] Drive-by typo correction ;-) (#762)

---
 manticore/core/smtlib/visitors.py | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/manticore/core/smtlib/visitors.py b/manticore/core/smtlib/visitors.py
index 8bb924f..ad0bb3f 100644
--- a/manticore/core/smtlib/visitors.py
+++ b/manticore/core/smtlib/visitors.py
@@ -17,12 +17,12 @@ class Visitor(object):
 
         Other class named visitors are:
 
-        vistit_Constant()
-        vistit_Variable()
-        vistit_Operation()
-        vistit_BitVec()
-        vistit_Bool()
-        vistit_Array()
+        visit_Constant()
+        visit_Variable()
+        visit_Operation()
+        visit_BitVec()
+        visit_Bool()
+        visit_Array()
 
     '''
     def __init__(self, cache=None, **kwargs):