From 2b9e8d4f68579d93eb4890c4a1349eeb35ac0f21 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 8 Aug 2019 14:50:25 +0100
Subject: Update machine words

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

(limited to 'src')

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