Add redundant reference to trick GC

imitator-model-checker · Oct 9, 2024 · 1cc6753 · 1cc6753
1 parent 4a433ec
commit 1cc6753
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/lib/LinearConstraint.ml b/src/lib/LinearConstraint.ml
@@ -4583,6 +4583,8 @@ let get_disjuncts (p_nnconvex_constraint : p_nnconvex_constraint) =
 		ippl_nncc_increment_iterator iterator;
 	done;
 
+	let _ = ippl_nncc_begin_iterator p_nnconvex_constraint in
+
 	(* Return disjuncts *)
 	let result = List.rev (!disjuncts) in