From 74cc06dbe36e411133d392c846a9aff4b0a7df14 Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Thu, 30 Oct 2014 17:32:07 +0000 Subject: Pull in updated elf model, make build work again (at least for me) --- src/test/run_power.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/test') diff --git a/src/test/run_power.ml b/src/test/run_power.ml index 83f6549c..96f64efe 100644 --- a/src/test/run_power.ml +++ b/src/test/run_power.ml @@ -277,7 +277,7 @@ let run () = end; if !eager_eval then Run_interp_model.debug := true; if !test_format then Run_interp_model.debug := false; - let (locations,start_address) = populate !file in + let ((locations,start_address),_) = populate !file in let total_size = (List.length locations) in if not(!test_format) then eprintf "Loading binary into memory (%d sections)... %!" total_size; -- cgit v1.2.3