diff options
| author | Alasdair Armstrong | 2019-08-08 14:48:01 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-08-08 14:48:01 +0100 |
| commit | 2bab8ab0488d1c2e85baf33dc064d23638771eff (patch) | |
| tree | 8cda4c4892ad033102ab61e988e13ae8d9a95744 /src | |
| parent | dee19338f655ab1e008d38156bb7b64ec8f3537d (diff) | |
Fix bitvectorToFromInterp
Diffstat (limited to 'src')
| -rw-r--r-- | src/toFromInterp_lib_bitlist.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/toFromInterp_lib_bitlist.ml b/src/toFromInterp_lib_bitlist.ml index 3d6c63b0..69f9355b 100644 --- a/src/toFromInterp_lib_bitlist.ml +++ b/src/toFromInterp_lib_bitlist.ml @@ -130,8 +130,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 |