diff options
-rw-r--r-- | backend/Tunnelingaux.ml | 4 |
1 files 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 |