From a5ce3eaf311063c5e180549df4abcd0d346d8cef Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter.goodman@gmail.com>
Date: Sun, 3 Dec 2017 20:57:15 -0500
Subject: [PATCH] Fix issue where I passed cast_to to min.

---
 bin/deepstate/main_angr.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/deepstate/main_angr.py b/bin/deepstate/main_angr.py
index b67fe45..303bc36 100644
--- a/bin/deepstate/main_angr.py
+++ b/bin/deepstate/main_angr.py
@@ -102,7 +102,7 @@ class DeepAngr(DeepState):
   def concretize_min(self, val, constrain=False):
     if isinstance(val, (int, long)):
       return val
-    concrete_val = self.state.solver.min(val, cast_to=int)
+    concrete_val = self.state.solver.min(val)
     if constrain:
       self.add_constraint(val == concrete_val)
     return concrete_val