From 9713d40546c732dab7ebd3d534267c696a0e84ed Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 21 May 2019 17:06:18 +0100
Subject: Fix: undefined_nat test for interpreter

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

(limited to 'src')

diff --git a/src/value.ml b/src/value.ml
index 6c2e0839..e44ebda8 100644
--- a/src/value.ml
+++ b/src/value.ml
@@ -724,6 +724,7 @@ let primops =
       ("undefined_unit", fun _ -> V_unit);
       ("undefined_bit", fun _ -> V_bit Sail_lib.B0);
       ("undefined_int", fun _ -> V_int Big_int.zero);
+      ("undefined_nat", fun _ -> V_int Big_int.zero);
       ("undefined_bool", fun _ -> V_bool false);
       ("undefined_vector", value_undefined_vector);
       ("undefined_string", fun _ -> V_string "");
-- 
cgit v1.2.3