From aabfecfe77c05670c953121f48f1855266aa6b38 Mon Sep 17 00:00:00 2001
From: Srinivas P G <srinivas@ginger.io>
Date: Fri, 15 Dec 2017 12:13:00 -0500
Subject: [PATCH] Fix for issue #642 (#643)

* version argument in manticore

* Fix 591 - Exception Handler

* Issue 597 - Remove the unused policy argument

* fix issue 642
---
 manticore/manticore.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manticore/manticore.py b/manticore/manticore.py
index 3e6234b..18f912b 100644
--- a/manticore/manticore.py
+++ b/manticore/manticore.py
@@ -690,7 +690,7 @@ class Manticore(Eventful):
                 continue
 
             symbols = section.get_symbol_by_name(symbol)
-            if len(symbols) == 0:
+            if not symbols:
                 continue
 
             return symbols[0].entry['st_value']