Update nra_plugin.c (#528)

SRI-CSL · Sep 8, 2024 · 55321b7 · 55321b7
1 parent 77cd0a2
commit 55321b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);