From 7ec819a96880b73fd3bb5c96dd53e243881de275 Mon Sep 17 00:00:00 2001
From: ex0dus-0x <ex0dus@codemuch.tech>
Date: Tue, 2 Jul 2019 15:59:56 -0400
Subject: [PATCH] Fix FileNotFoundError when loading existing state

---
 manticore/core/workspace.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/manticore/core/workspace.py b/manticore/core/workspace.py
index 1ab9fe7ae..e1ecaa1b0 100644
--- a/manticore/core/workspace.py
+++ b/manticore/core/workspace.py
@@ -290,7 +290,8 @@ def rm(self, key):
         :param str key: The file to delete
         """
         path = os.path.join(self.uri, key)
-        os.remove(path)
+        if os.path.exists(path):
+            os.remove(path)
 
     def ls(self, glob_str):
         """