Skip to content

Commit e326d19

Browse files
committed
Adopt enum changes
1 parent 4b2f9aa commit e326d19

1 file changed

Lines changed: 1 addition & 2 deletions

File tree

  • usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/dto

usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/dto/EtsTypeToDto.kt

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,6 @@ import org.jacodb.ets.model.EtsFunctionType
5151
import org.jacodb.ets.model.EtsGenericType
5252
import org.jacodb.ets.model.EtsIntersectionType
5353
import org.jacodb.ets.model.EtsLexicalEnvType
54-
import org.jacodb.ets.model.EtsLiteralType
5554
import org.jacodb.ets.model.EtsNeverType
5655
import org.jacodb.ets.model.EtsNullType
5756
import org.jacodb.ets.model.EtsNumberLiteralType
@@ -120,7 +119,7 @@ private object EtsTypeToDto : EtsType.Visitor<TypeDto> {
120119
override fun visit(type: EtsEnumValueType): TypeDto {
121120
return EnumValueTypeDto(
122121
signature = type.signature.toDto(),
123-
constant = type.constant?.toDto(),
122+
name = type.name,
124123
)
125124
}
126125

0 commit comments

Comments
 (0)