From 2693f55d6c8b5f194a894254a3b456c1db74151f Mon Sep 17 00:00:00 2001
From: tochilinak <35286460+tochilinak@users.noreply.github.com>
Date: Mon, 1 Jul 2024 15:47:38 +0300
Subject: [PATCH] Update
 usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/model/PyModel.kt

Co-authored-by: Sergey Pospelov <sergeypospelov59@gmail.com>
---
 .../src/main/kotlin/org/usvm/machine/model/PyModel.kt           | 2 +-
 1 file changed, 1 insertion(+), 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
index 0269666143..3ad5057623 100644
--- 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(