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
2017-11-27 18:13:13 -05:00
parent ce888766cd
commit d98ef22251
1 changed files with 1 additions and 1 deletions
@@ -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.