From 623bc66bfa8d2d5ddfe45b0743dbda7d9103603a Mon Sep 17 00:00:00 2001 From: Konstantin Chukharev Date: Wed, 20 Aug 2025 16:31:27 +0300 Subject: [PATCH] Export is considered default when the name is "default" --- jacodb-ets/src/main/kotlin/org/jacodb/ets/model/Export.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jacodb-ets/src/main/kotlin/org/jacodb/ets/model/Export.kt b/jacodb-ets/src/main/kotlin/org/jacodb/ets/model/Export.kt index 58a3685a2..5bde585dc 100644 --- a/jacodb-ets/src/main/kotlin/org/jacodb/ets/model/Export.kt +++ b/jacodb-ets/src/main/kotlin/org/jacodb/ets/model/Export.kt @@ -61,7 +61,7 @@ data class EtsExportInfo( // For direct exports: // export default value // export { value as default } - return super.isDefault + return name == "default" || super.isDefault } /**