fix nullability of TypePath in TypeAnnotation

vorpal-research · Feb 28, 2024 · ad5dea6 · ad5dea6
1 parent ce4c218
commit ad5dea6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/kotlin/org/vorpal/research/kfg/ir/Annotation.kt b/src/main/kotlin/org/vorpal/research/kfg/ir/Annotation.kt
@@ -116,5 +116,5 @@ data class TypeAnnotation(
     override val type: Type,
     override val values: Map<String, AnnotationConstant>,
     val typeRef: Int,
-    val typePath: TypePath
+    val typePath: TypePath?
 ) : AnnotationBase