From 0ad2b220ace7741792a296a88d37b88f7660e6ab Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 2 Oct 2015 18:47:21 +0200
Subject: Use rev_map so that the debug locations are in the correct order.

---
 debug/Dwarfgen.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug')

diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml
index d2cdecbf..2258f948 100644
--- a/debug/Dwarfgen.ml
+++ b/debug/Dwarfgen.ml
@@ -339,7 +339,7 @@ let location_entry f_id atom =
       | FunctionLoc (a,r) ->
           translate_function_loc a r
       | RangeLoc l ->
-          let l = List.map (fun i -> 
+          let l = List.rev_map (fun i -> 
             let hi = get_opt_val i.range_start
             and lo = get_opt_val i.range_end in
             let hi = Hashtbl.find label_translation (f_id,hi)
-- 
cgit