From a521bdf24abf6a24c3086fd25be30722f99b8d7b Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Fri, 12 Jan 2024 17:02:24 +0100
Subject: [PATCH] Rm spurious parens

Co-authored-by: Julian Erhard <julian.erhard@tum.de>
---
 src/cdomains/apron/affineEqualityDomain.apron.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cdomains/apron/affineEqualityDomain.apron.ml b/src/cdomains/apron/affineEqualityDomain.apron.ml
index bc1cfe41cf..55937a323d 100644
--- a/src/cdomains/apron/affineEqualityDomain.apron.ml
+++ b/src/cdomains/apron/affineEqualityDomain.apron.ml
@@ -688,7 +688,7 @@ struct
         Linexpr1.set_list e1 coeff_vars (Some cst);
         Lincons1.make e1 EQ
       in
-      List.init (Matrix.num_rows m) (one_constraint)
+      List.init (Matrix.num_rows m) one_constraint
     in
     BatOption.map_default invariant [] t.d