From 1507dbc63afd0899acd2d41fda8480f479405a4c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 30 Oct 2011 18:30:26 +0100
Subject: [PATCH] Fix a Clang-2.9 warning.

* src/tgbaalgos/ltl2tgba_fm.cc (trace_ltl_bdd):
Declare as unused.
---
 src/tgbaalgos/ltl2tgba_fm.cc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/tgbaalgos/ltl2tgba_fm.cc b/src/tgbaalgos/ltl2tgba_fm.cc
index 8e7d2ea00..ba4bfee24 100644
--- a/src/tgbaalgos/ltl2tgba_fm.cc
+++ b/src/tgbaalgos/ltl2tgba_fm.cc
@@ -225,8 +225,14 @@ namespace spot
       }
     };
 
+#ifdef __GNUC__
+#  define unused __attribute__((unused))
+#else
+#  define unused
+#endif
 
     // Debugging function.
+    static unused
     std::ostream&
     trace_ltl_bdd(const translate_dict& d, bdd f)
     {