diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index 0cf7dd5..26d6672 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -31,6 +31,7 @@ from .common import DeepState, TestInfo
 
 from manticore.core.state import TerminateState
 
+
 L = logging.getLogger("deepstate.mcore")
 L.setLevel(logging.INFO)