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; }