diff options
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 |