From e53bf76da48fa80584fb4b77df6b175c197abf8d Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Wed, 22 Nov 2023 10:12:33 +0100
Subject: [PATCH] Fixed logging

---
 .../src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/stm.kt    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/stm.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/stm.kt
index bdb1e10bf6..306c23ae17 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/stm.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/stm.kt
@@ -114,7 +114,7 @@ ${edges.map { it.visualize() }.reduce { a, b -> "$a\n$b" }}
                 println("Caught exception: $e")
                 val edge: Edge? = currentNode.outEdges.find { it.trigger(e) }
                 if (edge != null) {
-                    println("Handling exception as $edge")
+                    println("Handling exception as ${edge.trigger}")
                     currentNode = edge.target
                 } else {
                     println("Could not handle trigger $e (Available triggers: ${