diff options
| author | Robert Norton | 2018-01-29 15:43:46 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-01-29 15:43:46 +0000 |
| commit | b01ce0bcf98f9d20b8abaa8905f1384d5fb29a3a (patch) | |
| tree | 4b9ab323f4e3234d55588e5013e387402337d6a0 /src/value.ml | |
| parent | 2f833362270c2b9562c627ba5feb97f13371921e (diff) | |
add tohost to value.ml
Diffstat (limited to 'src/value.ml')
| -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)); ] |