From 4d84551375fc79c5cbfc0d06fcdd51cc13c521cd Mon Sep 17 00:00:00 2001
From: Arun John Kuruvilla <arunjohnkuruvilla@gmail.com>
Date: Thu, 8 Feb 2018 15:25:40 -0500
Subject: [PATCH] Fixed Issue #723 - changed _pop() to _pop_vm() (#745)

---
 manticore/platforms/evm.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py
index ccbdaa5..69b8e9d 100644
--- a/manticore/platforms/evm.py
+++ b/manticore/platforms/evm.py
@@ -2081,7 +2081,7 @@ class EVMWorld(Platform):
         self._do_events()
         if self.depth > 1024:
             while self.depth >0:
-                self._pop(rollback=True)
+                self._pop_vm(rollback=True)
             raise TerminateState("Maximum call depth limit is reached", testcase=True)
 
     def _pop_vm(self, rollback=False):