From a3b9469d678de4e3756d55dd72a9ce9a18ff56c1 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 22 May 2018 15:06:14 +0200
Subject: [PATCH] gtec: hide some debugging code behind #if/#endif

* spot/twaalgos/gtec/gtec.cc, spot/twaalgos/gtec/gtec.hh:
Here.
---
 spot/twaalgos/gtec/gtec.cc | 6 ++++--
 spot/twaalgos/gtec/gtec.hh | 2 ++
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/spot/twaalgos/gtec/gtec.cc b/spot/twaalgos/gtec/gtec.cc
index f36d2fe3c..83d5c6326 100644
--- a/spot/twaalgos/gtec/gtec.cc
+++ b/spot/twaalgos/gtec/gtec.cc
@@ -20,12 +20,13 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-// #define TRACE
 
 #include "config.h"
 #include <iostream>
+// #define TRACE
 #ifdef TRACE
 #define trace std::cerr
+#define SPOT_TRACE 1
 #else
 #define trace while (0) std::cerr
 #endif
@@ -370,7 +371,7 @@ namespace spot
     assert(depth() == 0);
   }
 
-  void
+#ifdef TRACE
   couvreur99_check_shy::dump_queue(std::ostream& os)
   {
     os << "--- TODO ---\n";
@@ -390,6 +391,7 @@ namespace spot
         os << "}\n";
       }
   }
+#endif
 
   emptiness_check_result_ptr
   couvreur99_check_shy::check()
diff --git a/spot/twaalgos/gtec/gtec.hh b/spot/twaalgos/gtec/gtec.hh
index 2aa674ac8..f5ea41284 100644
--- a/spot/twaalgos/gtec/gtec.hh
+++ b/spot/twaalgos/gtec/gtec.hh
@@ -230,8 +230,10 @@ namespace spot
 
     void clear_todo();
 
+#ifdef SPOT_TRACE
     /// Dump the queue for debugging.
     void dump_queue(std::ostream& os = std::cerr);
+#endif
 
     /// Whether successors should be grouped for states in the same SCC.
     bool group_;