From 95b84b8828258626576100a89f8dbdf14e1316f1 Mon Sep 17 00:00:00 2001 From: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com> Date: Sat, 7 Sep 2024 23:46:39 -0700 Subject: [PATCH] Update nra_plugin.c --- src/mcsat/nra/nra_plugin.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mcsat/nra/nra_plugin.c b/src/mcsat/nra/nra_plugin.c index 8e0e9cb79..fca8c4e2d 100644 --- a/src/mcsat/nra/nra_plugin.c +++ b/src/mcsat/nra/nra_plugin.c @@ -1879,7 +1879,7 @@ void nra_plugin_gc_sweep(plugin_t* plugin, const gc_info_t* gc_vars) { gc_info_sweep_int_hmap_keys(gc_vars, &nra->feasible_set_cache_timestamp[0]); gc_info_sweep_int_hmap_keys(gc_vars, &nra->feasible_set_cache_timestamp[1]); gc_info_sweep_ptr_hmap_keys(gc_vars, &nra->feasible_set_cache[0], (ptr_hmap_ptr_delete) &lp_feasibility_set_delete); - gc_info_sweep_ptr_hmap_keys(gc_vars, &nra->feasible_set_cache[0], (ptr_hmap_ptr_delete) &lp_feasibility_set_delete); + gc_info_sweep_ptr_hmap_keys(gc_vars, &nra->feasible_set_cache[1], (ptr_hmap_ptr_delete) &lp_feasibility_set_delete); // Unit information (constraint_unit_info, constraint_unit_var) constraint_unit_info_gc_sweep(&nra->unit_info, gc_vars);