diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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) |