Update usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/…

…model/PyModel.kt Co-authored-by: Sergey Pospelov <[email protected]>
UnitTestBot · Jul 1, 2024 · 2693f55 · 2693f55
1 parent d0d2fd3
commit 2693f55
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/model/PyModel.kt b/usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/model/PyModel.kt
@@ -61,7 +61,7 @@ class PyModel(
     @Suppress("UNCHECKED_CAST")
     override fun <Key, Sort : USort> getRegion(regionId: UMemoryRegionId<Key, Sort>): UReadOnlyMemoryRegion<Key, Sort> {
         if (regionId is UArrayRegionId<*, *, *> &&
-            regionId.sort == regionId.sort.uctx.addressSort &&
+            regionId.sort == ctx.addressSort &&
             regionId.arrayType == ArrayType
         ) {
             val region = super.getRegion(