summaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
authorKathy Gray2014-10-30 17:32:07 +0000
committerKathy Gray2014-10-30 17:32:23 +0000
commit74cc06dbe36e411133d392c846a9aff4b0a7df14 (patch)
treee2ab35b000bc29a4a5439e4a12a58216459d1616 /src/test
parent21738f049b1365c8436780449f9fbfdce1e9324d (diff)
Pull in updated elf model, make build work again (at least for me)
Diffstat (limited to 'src/test')
-rw-r--r--src/test/run_power.ml2
1 files changed, 1 insertions, 1 deletions
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;