diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/witnesses/Witness.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/witnesses/Witness.kt
index 8407379e7a..0b9209b964 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/witnesses/Witness.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/witnesses/Witness.kt
@@ -71,6 +71,7 @@ class Witness(private val trace: Trace<WitnessNode, WitnessEdge>, programFile: F
         attributes.add(
             WitnessAttribute("returnFromFunction", "string", "edge", "returnFromFunction"))
         attributes.add(WitnessAttribute("threadId", "string", "edge", "threadId"))
+        attributes.add(WitnessAttribute("createThread", "string", "edge", "createThread"))
         attributes.add(WitnessAttribute("stmt", "string", "edge", "stmt"))
         attributes.add(WitnessAttribute("cSource", "string", "edge", "cSource"))