diff options
| author | Alasdair Armstrong | 2019-08-08 14:50:25 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-08-08 14:50:25 +0100 |
| commit | 2b9e8d4f68579d93eb4890c4a1349eeb35ac0f21 (patch) | |
| tree | fc1cd3bbd26181ccd9971bea1a8f45cd4c6cbcdc /src | |
| parent | 2bab8ab0488d1c2e85baf33dc064d23638771eff (diff) | |
Update machine words
Diffstat (limited to 'src')
| -rw-r--r-- | src/toFromInterp_lib_mword.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/toFromInterp_lib_mword.ml b/src/toFromInterp_lib_mword.ml index 816ae136..928a56a0 100644 --- a/src/toFromInterp_lib_mword.ml +++ b/src/toFromInterp_lib_mword.ml @@ -123,8 +123,8 @@ let zbitvectorToInterpValue typq_'n typq_'ord v = assert (Big_int.of_int (List.length v) = typq_'n); V_vector (List.map bitToInterpValue v) -let bitvectorFromInterpValue = zvectorFromInterpValue -let bitvectorToInterpValue = zvectorToInterpValue +let bitvectorFromInterpValue = zbitvectorFromInterpValue +let bitvectorToInterpValue = zbitvectorToInterpValue let optionFromInterpValue typq_'a v = match v with | V_ctor ("None", [v0]) -> None |