From 2bab8ab0488d1c2e85baf33dc064d23638771eff Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 8 Aug 2019 14:48:01 +0100
Subject: Fix bitvectorToFromInterp

---
 src/toFromInterp_lib_bitlist.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3