From a9677e1706d2a93be3cb8e3148abec924d0c3dbb Mon Sep 17 00:00:00 2001 From: Sylvain Boulmé Date: Tue, 24 Nov 2020 09:25:04 +0100 Subject: tiny simplification in Tunnelingaux.ml --- backend/Tunnelingaux.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/backend/Tunnelingaux.ml b/backend/Tunnelingaux.ml index af89adea..87e6d303 100644 --- a/backend/Tunnelingaux.ml +++ b/backend/Tunnelingaux.ml @@ -178,11 +178,11 @@ let final_export f c = ) else ( n.dist <- undef_dist; (* force [dist] to compute the actual [n.dist] *) count := !count+1; - (tn, n)::acc + n::acc ) in let nops = Hashtbl.fold filter_nops_init_dist c.nodes [] in - let res = List.fold_left (fun acc (tn,n) -> PTree.set (lab_p n) (lab_p tn, Z.of_uint (dist n)) acc) PTree.empty nops in + let res = List.fold_left (fun acc n -> PTree.set (lab_p n) (lab_p n.link, Z.of_uint (dist n)) acc) PTree.empty nops in debug "* Tunneling.branch_target: final number of eliminated nops = %d\n" !count; res -- cgit