diff options
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 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 ""); |