change computation of typebounds

viperproject · Nov 28, 2024 · 3694677 · 3694677
1 parent 71dc28a
commit 3694677
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/viper/gobra/util/TypeBounds.scala b/src/main/scala/viper/gobra/util/TypeBounds.scala
@@ -48,7 +48,7 @@ object TypeBounds {
   }
 
   sealed trait Unsigned extends BoundedIntegerKind {
-    override lazy val upper: BigInt = BigInt(pow(2, nbits).toLong - 1)
+    override lazy val upper: BigInt = BigInt(2).pow(nbits) - 1
     override lazy val lower: BigInt = BigInt(0)
   }