diff options
Diffstat (limited to 'src/value.ml')
| -rw-r--r-- | src/value.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/value.ml b/src/value.ml index 0c67f487..4974ca83 100644 --- a/src/value.ml +++ b/src/value.ml @@ -48,14 +48,14 @@ (* SUCH DAMAGE. *) (**************************************************************************) -open Big_int +module Big_int = Nat_big_num type bit = B0 | B1 type value = | V_vector of value list | V_list of value list - | V_int of big_int + | V_int of Big_int.num | V_bool of bool | V_bit of bit | V_tuple of value list |