From b7a3e2ad400ea7e57bdbf52419161bd6ee9c0dd9 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 11 Oct 2016 16:58:36 +0100
Subject: Update run_with_elf* for new linksem sail_interface

---
 src/lem_interp/run_with_elf.ml       | 2 +-
 src/lem_interp/run_with_elf_cheri.ml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/run_with_elf.ml b/src/lem_interp/run_with_elf.ml
index 72d4c6e1..224f2860 100644
--- a/src/lem_interp/run_with_elf.ml
+++ b/src/lem_interp/run_with_elf.ml
@@ -601,7 +601,7 @@ let initial_system_state_of_elf_file name =
   match Sail_interface.populate_and_obtain_global_symbol_init_info name with
   | Error.Fail s -> failwith ("populate_and_obtain_global_symbol_init_info: " ^ s)
   | Error.Success 
-      ((elf_epi: Sail_interface.executable_process_image),
+      (_, (elf_epi: Sail_interface.executable_process_image),
        (symbol_map: Elf_file.global_symbol_init_info))
     ->
     let (segments, e_entry, e_machine) =
diff --git a/src/lem_interp/run_with_elf_cheri.ml b/src/lem_interp/run_with_elf_cheri.ml
index aa47a892..71d173d8 100644
--- a/src/lem_interp/run_with_elf_cheri.ml
+++ b/src/lem_interp/run_with_elf_cheri.ml
@@ -676,7 +676,7 @@ let initial_system_state_of_elf_file name =
   match Sail_interface.populate_and_obtain_global_symbol_init_info name with
   | Error.Fail s -> failwith ("populate_and_obtain_global_symbol_init_info: " ^ s)
   | Error.Success 
-      ((elf_epi: Sail_interface.executable_process_image),
+      (_, (elf_epi: Sail_interface.executable_process_image),
        (symbol_map: Elf_file.global_symbol_init_info))
     ->
     let (segments, e_entry, e_machine) =
-- 
cgit v1.2.3