Skip to content

Commit c9a5754

Browse files
committed
Remove debug print statements from exp_to_pretty function
1 parent 0908972 commit c9a5754

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

src/haz3lcore/pretty/ExpToSegment.re

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1448,13 +1448,10 @@ let rec exp_to_pretty = (~settings: Settings.t, exp: Exp.t): pretty => {
14481448
and+ e2 = go(e2);
14491449
wrap(exp, e1 @ [mk_form(ApExp, id, [e2])]);
14501450
| Ap(Reverse, e1, e2) =>
1451-
print_endline("Printing reverse application");
1452-
print_endline(Exp.show(exp));
14531451
// TODO: Add optional newlines
14541452
let id = exp |> Exp.rep_id;
14551453
let+ e1 = go(e1)
14561454
and+ e2 = go(e2);
1457-
14581455
wrap(
14591456
exp,
14601457
e2

0 commit comments

Comments
 (0)