From 3ce73c78f477cebae8bdf3b159b1ba32a67dd95a Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Mon, 7 Jan 2019 12:24:09 -0300
Subject: [PATCH] Update main_manticore.py

---
 bin/deepstate/main_manticore.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index 1d10e8e..0981e2c 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -26,7 +26,6 @@ except Exception as e:
     sys.exit(255)
   else:
     raise
-import multiprocessing
 import traceback
 from .common import DeepState, TestInfo