From 0e3d9854ddeb1155302747bf980bb061748c5e72 Mon Sep 17 00:00:00 2001
From: piameier <pia.meier@tu-bs.de>
Date: Thu, 24 Jul 2025 11:24:38 +0200
Subject: [PATCH] fixed: missing toString() in VariationLabel

---
 .../variantsync/diffdetective/variation/VariationLabel.java  | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/main/java/org/variantsync/diffdetective/variation/VariationLabel.java b/src/main/java/org/variantsync/diffdetective/variation/VariationLabel.java
index 7373a04d2..1709dfa95 100644
--- a/src/main/java/org/variantsync/diffdetective/variation/VariationLabel.java
+++ b/src/main/java/org/variantsync/diffdetective/variation/VariationLabel.java
@@ -49,4 +49,9 @@ public NodeType getNodeType() {
     public VariationLabel<L> clone() {
         return new VariationLabel<L>(type, Cast.unchecked(innerLabel.clone()));
     }
+    
+    @Override
+    public String toString() {
+    	return innerLabel.toString();
+    }
 }