diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-23 13:39:27 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-23 13:39:27 +0100 |
commit | 275d7f4091609ae30093a4a83a20a74997229f9c (patch) | |
tree | d1982b427dfb3606d99ed1e98b9b9d5f7ef3c5d2 /debug/DwarfUtil.ml | |
parent | 5f10d3ecb0104527adf59d8ff2b74aec89811f23 (diff) | |
download | compcert-275d7f4091609ae30093a4a83a20a74997229f9c.tar.gz compcert-275d7f4091609ae30093a4a83a20a74997229f9c.zip |
Added translation fucntion for declarations and fundefinitions.
Diffstat (limited to 'debug/DwarfUtil.ml')
-rw-r--r-- | debug/DwarfUtil.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/debug/DwarfUtil.ml b/debug/DwarfUtil.ml index 91ef94a8..7b81be4c 100644 --- a/debug/DwarfUtil.ml +++ b/debug/DwarfUtil.ml @@ -50,10 +50,11 @@ let list_iter_with_next f list = aux list (* Iter over the tree and pass the sibling id *) -let entry_iter_sib f entry = +let entry_iter_sib f g entry = let rec aux sib entry = - f sib entry; - list_iter_with_next aux entry.children in + f sib entry; + list_iter_with_next aux entry.children; + g entry in aux None entry |