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.