@@ -31,9 +31,9 @@ let test_fixpoint_add_base () =
3131 | Batch entries ->
3232 entries
3333 |> List. iter (fun (k , v_opt ) ->
34- match v_opt with
35- | Some () -> added := k :: ! added
36- | None -> removed := k :: ! removed))
34+ match v_opt with
35+ | Some () -> added := k :: ! added
36+ | None -> removed := k :: ! removed))
3737 fp;
3838
3939 emit_init (Set (" c" , () ));
@@ -299,9 +299,9 @@ let test_fixpoint_remove_spurious_root () =
299299 | Batch entries ->
300300 entries
301301 |> List. iter (fun (k , v_opt ) ->
302- match v_opt with
303- | Some () -> added := k :: ! added
304- | None -> removed := k :: ! removed))
302+ match v_opt with
303+ | Some () -> added := k :: ! added
304+ | None -> removed := k :: ! removed))
305305 fp;
306306
307307 (* Step 1: "b" is spuriously marked as a root *)
@@ -429,9 +429,9 @@ let test_fixpoint_remove_edge_rederivation () =
429429 | Batch entries ->
430430 entries
431431 |> List. iter (fun (k , v_opt ) ->
432- match v_opt with
433- | Some () -> added := k :: ! added
434- | None -> removed := k :: ! removed))
432+ match v_opt with
433+ | Some () -> added := k :: ! added
434+ | None -> removed := k :: ! removed))
435435 fp;
436436
437437 (* Add root *)
@@ -542,9 +542,9 @@ let test_fixpoint_remove_edge_entry_higher_rank_support () =
542542 | Batch entries ->
543543 entries
544544 |> List. iter (fun (k , v_opt ) ->
545- match v_opt with
546- | Some () -> added := k :: ! added
547- | None -> removed := k :: ! removed))
545+ match v_opt with
546+ | Some () -> added := k :: ! added
547+ | None -> removed := k :: ! removed))
548548 fp;
549549
550550 (* Add root *)
0 commit comments