Fixed indexing runtime check.

sireum · Mar 6, 2025 · d4e0ce0 · d4e0ce0
1 parent 34a99a2
commit d4e0ce0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shared/src/main/scala/org/sireum/anvil/Anvil.scala b/shared/src/main/scala/org/sireum/anvil/Anvil.scala
@@ -467,7 +467,7 @@ object Anvil {
               case rhs: AST.IR.Exp.Indexing =>
                 val indexType = rhs.tipe.asInstanceOf[AST.Typed.Name].args(0)
                 val min = anvil.minIndex(indexType)
-                val lo = AST.IR.Exp.Int(rhs.tipe, min, pos)
+                val lo = AST.IR.Exp.Int(indexType, min, pos)
                 var hi: AST.IR.Exp = AST.IR.Exp.FieldVarRef(rhs.exp, "size", AST.Typed.z, pos)
                 if (min != 0) {
                   hi = AST.IR.Exp.Binary(AST.Typed.z, hi, AST.IR.Exp.Binary.Op.Sub, lo, pos)