change computation of typebounds (#801)

viperproject · Nov 28, 2024 · 6fa3dd7 · 6fa3dd7
1 parent 71dc28a
commit 6fa3dd7
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)
   }