From 3918354ab84347efaacd14954f0d04e0b7c7ee75 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 15 Apr 2019 14:41:51 +0100
Subject: Fix: Don't repeat ctyp_of_typ call

---
 src/jib/jib_compile.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/jib/jib_compile.ml b/src/jib/jib_compile.ml
index a59f6c80..f901d948 100644
--- a/src/jib/jib_compile.ml
+++ b/src/jib/jib_compile.ml
@@ -256,7 +256,7 @@ let rec compile_aval l ctx = function
 
   | AV_vector ([], typ) ->
      let vector_ctyp = ctyp_of_typ ctx typ in
-     begin match ctyp_of_typ ctx typ with
+     begin match vector_ctyp with
      | CT_fbits (0, _) ->
         [], (F_lit (V_bits []), vector_ctyp), []
      | _ ->
@@ -277,12 +277,12 @@ let rec compile_aval l ctx = function
      | Some (_, Ord_aux (Ord_dec, _), _) ->
         [], (bitstring, CT_fbits (len, true)), []
      | Some _ ->
-        raise (Reporting.err_general l "Encountered order polymorphic bitvector literal")
+          raise (Reporting.err_general l "Encountered order polymorphic bitvector literal")
      | None ->
         raise (Reporting.err_general l "Encountered vector literal without vector type")
      end
 
-  (* Convert a bitvector literal that is larger than 64-bits to a
+     (* Convert a bitvector literal that is larger than 64-bits to a
      variable size bitvector, converting it in 64-bit chunks. *)
   | AV_vector (avals, typ) when is_bitvector avals ->
      let len = List.length avals in
-- 
cgit v1.2.3