Format

Author: Lipen

usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsInterpreter.kt

@@ -547,7 +547,7 @@ class TsInterpreter(
                     // TODO: handle the case when `lhv.array.type` is NOT an array.
                     //  In this case, it could be created manually: `EtsArrayType(EtsUnknownType, 1)`.
                     val arrayType = if (isAllocatedConcreteHeapRef(instance)) {
-                       scope.calcOnState { (memory.typeStreamOf(instance).first()) }
+                        scope.calcOnState { (memory.typeStreamOf(instance).first()) }
                     } else {
                         lhv.array.type
                     } as? EtsArrayType ?: error("Expected EtsArrayType, got: ${lhv.array.type}")