Skip to content

Commit 16f615d

Browse files
committed
Refactor project_table_if to remove unnecessary braces
1 parent 75542da commit 16f615d

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/haz3lcore/pretty/ExpToSegment.re

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1048,7 +1048,7 @@ let fold_fun_if = (condition, f_name: string, pieces, exp) =>
10481048
| `NoFold => pieces
10491049
};
10501050

1051-
let project_table_if = (should_project, pieces) => {
1051+
let project_table_if = (should_project, pieces) =>
10521052
if (should_project) {
10531053
switch (MakeTerm.for_projection([pieces])) {
10541054
| None => failwith("ExpToSegment.fold_if")
@@ -1057,7 +1057,6 @@ let project_table_if = (should_project, pieces) => {
10571057
} else {
10581058
[pieces];
10591059
};
1060-
};
10611060
/* We assume that parentheses have already been added as necessary, and
10621061
that the expression has no Closures or DynamicErrorHoles
10631062
*/

0 commit comments

Comments
 (0)