[asl] fix unwanted conversions into bitvectors.

herd · Mar 14, 2024 · d9f2328 · d9f2328
1 parent 9e3848e
commit d9f2328
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/asllib/Native.ml b/asllib/Native.ml
@@ -179,7 +179,6 @@ module NativeBackend = struct
 
   let as_bitvector = function
     | NV_Literal (L_BitVector bits) -> bits
-    | NV_Literal (L_Int i) -> Bitvector.of_z (Z.numbits i) i
     | v -> mismatch_type v [ default_t_bits ]
 
   let as_int = function