[PPL-devel] [GIT] ppl/ppl(master): Worked around a Doxygen bug.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 637c3cfce1b6e6194cf4a7f8e1bdd473917fe472
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637c3cfce1b6e6194cf4a7f8e1bdd473917fe472

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Oct 28 12:42:02 2013 +0100

Worked around a Doxygen bug.

---

 src/globals_defs.hh |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/src/globals_defs.hh b/src/globals_defs.hh
index 9ac1915..d5907b2 100644
--- a/src/globals_defs.hh
+++ b/src/globals_defs.hh
@@ -424,6 +424,9 @@ template <typename T, long long v, bool prefer_signed = true,
 struct Constant_ : public TConstant<T, v> {
 };
 
+//! \cond
+// Keep Doxygen off until it learns how to deal properly with `||'.
+
 template <typename T, long long v, bool prefer_signed>
 struct Constant_<T, v, prefer_signed,
                  typename Enable_If<(Fit<typename C_Integer<T>::smaller_signed_type, v>::value
@@ -440,6 +443,8 @@ struct Constant_<T, v, prefer_signed,
   : public Constant_<typename C_Integer<T>::smaller_unsigned_type, v, prefer_signed> {
 };
 
+//! \endcond
+
 template <long long v, bool prefer_signed = true>
 struct Constant : public Constant_<long long, v, prefer_signed> {
 };