From 6f6f642c7d25288253f1cb1f0fce890f42f9ec8f Mon Sep 17 00:00:00 2001
From: yousifpatti <yousifpatti@gmail.com>
Date: Tue, 21 Nov 2023 15:18:37 +1000
Subject: [PATCH] Fixed a bug in pretty printer

---
 src/main/scala/util/RunUtils.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/util/RunUtils.scala b/src/main/scala/util/RunUtils.scala
index b203dfb34..756330205 100644
--- a/src/main/scala/util/RunUtils.scala
+++ b/src/main/scala/util/RunUtils.scala
@@ -246,7 +246,7 @@ object RunUtils {
     def printNode(node: CfgNode): Unit = {
       s.append(node)
       s.append(" :: ")
-      s.append(result(node))
+      s.append(if result.contains(node) then result(node) else "Unreachable")
       s.append(System.lineSeparator())
     }