From 618c3f72c9eba4be020b8f7a13236c0751c58f6f Mon Sep 17 00:00:00 2001
From: natgavrilenko <natgavrilenko@users.noreply.github.com>
Date: Tue, 13 Aug 2024 21:12:29 +0200
Subject: [PATCH] Fix printer OutOfBoundsException (#713)

Co-authored-by: Natalia Gavrilenko <natalia.gavrilenko@huawei.com>
---
 .../main/java/com/dat3m/dartagnan/utils/printer/Printer.java  | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java b/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java
index 8ff3aa4361..c1ef0ec36c 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java
@@ -113,7 +113,9 @@ private void appendEvent(Event event){
             if(!(event instanceof Label)) {
                 result.append("   ");
             }
-            result.append(padding, idSb.length(), padding.length());
+            if (idSb.length() < padding.length()) {
+                result.append(padding, idSb.length(), padding.length());
+            }
             result.append(event).append("\n");
         }
     }