From 1b1320781df33e9655fb3c91f19fa54dec76a202 Mon Sep 17 00:00:00 2001 From: Karoliine Holter Date: Tue, 16 Jan 2024 00:26:30 +0200 Subject: [PATCH] Replace BigInt.shift_left with Z.shift_left --- src/cdomain/value/cdomains/intDomain.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cdomain/value/cdomains/intDomain.ml b/src/cdomain/value/cdomains/intDomain.ml index 338f4508e8..8082195dee 100644 --- a/src/cdomain/value/cdomains/intDomain.ml +++ b/src/cdomain/value/cdomains/intDomain.ml @@ -2258,7 +2258,7 @@ struct norm ik @@ lift2 shift_op_big_int ik x y let shift_left = - shift BigInt.shift_left + shift Z.shift_left let shift_right = shift BigInt.shift_right @@ -2609,7 +2609,7 @@ module Enums : S with type int_t = BigInt.t = struct lift2 shift_op_big_int ik x y) let shift_left = - shift BigInt.shift_left + shift Z.shift_left let shift_right = shift BigInt.shift_right