diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/spacetime_lib/spacetime.diff')
| -rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/spacetime_lib/spacetime.diff | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/spacetime_lib/spacetime.diff b/nixpkgs/pkgs/development/ocaml-modules/spacetime_lib/spacetime.diff new file mode 100644 index 000000000000..baad34ce08b5 --- /dev/null +++ b/nixpkgs/pkgs/development/ocaml-modules/spacetime_lib/spacetime.diff @@ -0,0 +1,14 @@ +diff --git a/src/elf_locations.ml b/src/elf_locations.ml +index a08b359..0db9274 100644 +--- a/src/elf_locations.ml ++++ b/src/elf_locations.ml +@@ -37,7 +37,8 @@ let resolve_from_dwarf t ~program_counter = + | Some section -> + let body = Owee_buf.cursor (Owee_elf.section_body t.map section) in + let rec aux () = +- match Owee_debug_line.read_chunk body with ++ let pointers_to_other_sections = Owee_elf.debug_line_pointers t.map t.sections in ++ match Owee_debug_line.read_chunk body ~pointers_to_other_sections with + | None -> () + | Some (header, chunk) -> + (* CR-soon mshinwell: fix owee .mli to note that [state] is |