From 546fa92a5d7c8afdf2adbe850363d12f8c51bac5 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 12 Mar 2016 19:43:45 +0100
Subject: [PATCH] * spot/tl/formula.hh (binop): Fix Doxygen comment.

---
 spot/tl/formula.hh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/spot/tl/formula.hh b/spot/tl/formula.hh
index ad20fe202..a1aaf4b63 100644
--- a/spot/tl/formula.hh
+++ b/spot/tl/formula.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015 Laboratoire de Recherche et Développement de
+// Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement de
 // l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -777,6 +777,7 @@ namespace spot
     /// @}
 #undef SPOT_DEF_UNOP
 
+    /// @{
     /// \brief Construct a binary operator
     /// \pre \a o should be one of op::Xor, op::Implies, op::Equiv,
     /// op::U, op::R, op::W, op::M, op::EConcat, op::EConcatMarked,
@@ -801,6 +802,8 @@ namespace spot
     {
       return formula(fnode::binop(o, f.to_node_(), g.to_node_()));
     }
+    ///@}
+
 #endif //SWIG
 
 #ifdef SWIG