From 9591c7d9adf540d60ca1dec124af95d167a50387 Mon Sep 17 00:00:00 2001 From: tomaz1502 Date: Wed, 9 Oct 2024 13:01:41 +0200 Subject: [PATCH] Reverting commentary deletion --- src/lib/LinearConstraint.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib/LinearConstraint.ml b/src/lib/LinearConstraint.ml index 9d6efd8f..152e35d8 100644 --- 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 *)