From e2e273eda09c707a78bd96b668db92381a6e524e Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 14 Aug 2019 15:18:15 +0100
Subject: Use bitvector type in mono rewrites

Also don't require a previously declared default vector indexing order
in vector_dec.sail.
---
 src/monomorphise.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index bd36c262..d52f12dc 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -2714,8 +2714,8 @@ let is_constant = function
 
 let is_constant_vec_typ env typ =
   let typ = Env.base_typ_of env typ in
-  match destruct_vector env typ with
-  | Some (size,_,_) ->
+  match destruct_bitvector env typ with
+  | Some (size,_) ->
      (match nexp_simp size with
      | Nexp_aux (Nexp_constant _,_) -> true
      | _ -> false)
-- 
cgit v1.2.3