Skip to content

Commit a521bdf

Browse files
Rm spurious parens
Co-authored-by: Julian Erhard <[email protected]>
1 parent ca18e35 commit a521bdf

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/cdomains/apron/affineEqualityDomain.apron.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -688,7 +688,7 @@ struct
688688
Linexpr1.set_list e1 coeff_vars (Some cst);
689689
Lincons1.make e1 EQ
690690
in
691-
List.init (Matrix.num_rows m) (one_constraint)
691+
List.init (Matrix.num_rows m) one_constraint
692692
in
693693
BatOption.map_default invariant [] t.d
694694

0 commit comments

Comments
 (0)