diff --git a/rex/crash.py b/rex/crash.py index d3820da..65a3767 100644 --- a/rex/crash.py +++ b/rex/crash.py @@ -1243,7 +1243,7 @@ def _reconstrain_flag_data(self, state):# pylint:disable=no-self-use cons = state.solver.constraints new_cons = [] for c in cons: - new_c = c.replace_dict(replace_dict) + new_c = claripy.replace_dict(c, replace_dict) new_cons.append(new_c) state.release_plugin("solver") state.add_constraints(*new_cons)