Replace BigInt.shift_left with Z.shift_left

goblint · Jan 15, 2024 · 1b13207 · 1b13207
1 parent 1d18891
commit 1b13207
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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