Rm spurious parens

Co-authored-by: Julian Erhard <[email protected]>
goblint · Jan 12, 2024 · a521bdf · a521bdf
1 parent ca18e35
commit a521bdf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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