diff options
Diffstat (limited to 'src/lem_interp/run_with_elf.ml')
| -rw-r--r-- | src/lem_interp/run_with_elf.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/lem_interp/run_with_elf.ml b/src/lem_interp/run_with_elf.ml index b04911f1..9879e353 100644 --- a/src/lem_interp/run_with_elf.ml +++ b/src/lem_interp/run_with_elf.ml @@ -61,9 +61,7 @@ let rec load_memory_segments segments = | segment::segments' -> let (x,w,r) = segment.Elf_interpreted_segment.elf64_segment_flags in begin - (if x - then load_memory_segment segment prog_mem - else load_memory_segment segment data_mem); + load_memory_segment segment prog_mem; load_memory_segments segments' end end |