ASTI: fix typing

sipma · sipma · commit 0dfa88253879 · 2024-10-14T01:17:18.000-07:00
diff --git a/chb/app/CHVersion.py b/chb/app/CHVersion.py
@@ -1 +1 @@
-chbversion: str = "0.3.0-20241010"
+chbversion: str = "0.3.0-20241014"
diff --git a/chb/invariants/XXprUtil.py b/chb/invariants/XXprUtil.py
@@ -390,7 +390,7 @@ def memory_variable_to_lval_expression(
             vinfo, astoffset, anonymous=anonymous)
 
     elif offset.is_array_index_offset:
-        offset = cast("VMemoryArrayIndexOffset", offset)
+        offset = cast("VMemoryOffsetArrayIndexOffset", offset)
         index = offset.index_expression
         astindex = xxpr_to_ast_def_expr(
             index, xdata, iaddr, astree, anonymous=anonymous)
