Reverting commentary deletion

imitator-model-checker · Oct 9, 2024 · 9591c7d · 9591c7d
1 parent 9fd4530
commit 9591c7d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lib/LinearConstraint.ml b/src/lib/LinearConstraint.ml
@@ -5085,6 +5085,7 @@ let p_nnconvex_ih (p_nnconvex_constraint : p_nnconvex_constraint) =
 	if verbose_mode_greater Verbose_total then
 		print_message Verbose_total ("Entering p_nnconvex_ih…");
 
+	(* 1) Get disjuncts *)
 	let disjuncts : p_linear_constraint list = get_disjuncts p_nnconvex_constraint in
 
 	(* Print some information *)