From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 5 Dec 2017 20:18:37 +0000 (-0800)
Subject: Fix output of --show-trace-tags. (#1430)
X-Git-Tag: cvc5-1.0.0~5427
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=108b5ed9d1f66884af7ede96155670bb1dc2fb43;p=cvc5.git

Fix output of --show-trace-tags. (#1430)

Now prints each tag in a separate line.
---

diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp
index 4d4ddfc32..4fb6357bd 100644
--- a/src/options/options_handler.cpp
+++ b/src/options/options_handler.cpp
@@ -1564,11 +1564,11 @@ void OptionsHandler::showDebugTags(std::string option) {
 
 void OptionsHandler::showTraceTags(std::string option) {
   if(Configuration::isTracingBuild()) {
-    std::cout << "available tags:";
+    std::cout << "available tags:" << std::endl;
     unsigned ntags = Configuration::getNumTraceTags();
     char const* const* tags = Configuration::getTraceTags();
     for (unsigned i = 0; i < ntags; ++ i) {
-      std::cout << tags[i];
+      std::cout << "  " << tags[i] << std::endl;
     }
     std::cout << std::endl;
   } else {