From 4141e9f1040df21de6752f957a71bdbb5fbc9c3a Mon Sep 17 00:00:00 2001
From: Thomas Knoll <thomas.knoll@student.tugraz.at>
Date: Thu, 11 Jan 2024 22:01:56 +0100
Subject: [PATCH] fixed config print of labels
---
util/PrismModulesPrinter.cpp | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp
index 9912f79..4d63f98 100644
--- a/util/PrismModulesPrinter.cpp
+++ b/util/PrismModulesPrinter.cpp
@@ -78,6 +78,10 @@ namespace prism {
}
}
+ if (!configuration.empty()) {
+ printConfiguration(configuration);
+ }
+
return os;
}