From b01ce0bcf98f9d20b8abaa8905f1384d5fb29a3a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 29 Jan 2018 15:43:46 +0000
Subject: add tohost to value.ml

---
 src/value.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/value.ml')

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));
     ]
-- 
cgit v1.2.3