diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/value.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/value.ml b/src/value.ml index a871c1be..077ad883 100644 --- a/src/value.ml +++ b/src/value.ml @@ -442,4 +442,5 @@ let primops = ("internal_pick", value_internal_pick); ("replicate_bits", value_replicate_bits); ("Elf_loader.elf_entry", fun _ -> V_int (!Elf_loader.opt_elf_entry)); + ("Elf_loader.elf_tohost", fun _ -> V_int (!Elf_loader.opt_elf_tohost)); ] |