diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-04 13:12:45 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-04 13:12:45 +0100 |
| commit | 5735f427bb0e6698eb946b961baadfed0fac31e5 (patch) | |
| tree | 939d1a2f1bb569c1057107e9760ce800ed235ce6 /debug/DwarfTypes.ml | |
| parent | 5435a0ac12625b356ecbd9faba1c7ec67f2477a7 (diff) | |
| download | compcert-5735f427bb0e6698eb946b961baadfed0fac31e5.tar.gz compcert-5735f427bb0e6698eb946b961baadfed0fac31e5.zip | |
Changed the d1line and d1file to d2line and d2file and prologue and epilogue printing for printing the line directives without forcing the assembler to generate debug information.
Diffstat (limited to 'debug/DwarfTypes.ml')
| -rw-r--r-- | debug/DwarfTypes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml index ecb346b9..d920c118 100644 --- a/debug/DwarfTypes.ml +++ b/debug/DwarfTypes.ml @@ -120,7 +120,7 @@ type dw_tag_label = type dw_tag_lexical_block = { lexical_block__high_pc: address; - lexical_block_low_pc: address; + lexical_block_low_pc: address; } type dw_tag_member = |