diff options
| author | Kathy Gray | 2014-10-30 17:32:07 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-10-30 17:32:23 +0000 |
| commit | 74cc06dbe36e411133d392c846a9aff4b0a7df14 (patch) | |
| tree | e2ab35b000bc29a4a5439e4a12a58216459d1616 /src/test | |
| parent | 21738f049b1365c8436780449f9fbfdce1e9324d (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.ml | 2 |
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; |
