Update rex for angr/claripy#545 (#112)

angr · Oct 4, 2024 · ec9e125 · ec9e125
1 parent 5817d5f
commit ec9e125
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)