diff options
Diffstat (limited to 'src/test/run_power.ml')
| -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; |