diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py
index <HASH>..<HASH> 100644
--- a/manticore/platforms/evm.py
+++ b/manticore/platforms/evm.py
@@ -2493,6 +2493,7 @@ class EVMWorld(Platform):
             raise TerminateState("REVERT", testcase=True)
 
         self.current.last_exception = None
+        self.current._push(0)
         # we are still on the CALL/CREATE
         self.current.pc += self.current.instruction.size
Push 0 on internal revert (#<I>)