From d98ef2225137aae3f5a230b42a829d077bae105c Mon Sep 17 00:00:00 2001
From: Srinivas P G <srinivas@ginger.io>
Date: Mon, 27 Nov 2017 18:13:13 -0500
Subject: [PATCH] Fix Issue: 597 - Remove unused policy argument in function
 State.solve_n (#598)

* version argument in manticore

* Fix 591 - Exception Handler

* Issue 597 - Remove the unused policy argument
---
 manticore/core/state.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manticore/core/state.py b/manticore/core/state.py
index bad7e43..2d535b3 100644
--- a/manticore/core/state.py
+++ b/manticore/core/state.py
@@ -308,7 +308,7 @@ class State(Eventful):
         '''
         return self._solver.get_value(self._constraints, expr)
 
-    def solve_n(self, expr, nsolves, policy='minmax'):
+    def solve_n(self, expr, nsolves):
         '''
         Concretize a symbolic :class:`~manticore.core.smtlib.expression.Expression` into
         `nsolves` solutions.