From c48b9bcfb5f81f9f0e5b54694a3dc7f910aae581 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 16 Feb 2011 10:24:56 +0100
Subject: [PATCH] Cosmetic changes in doc for bunop and multop.

* src/ltlast/bunop.hh, src/ltlast/multop.hh: Reorder some comments.
---
 src/ltlast/bunop.hh  | 6 +++---
 src/ltlast/multop.hh | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/ltlast/bunop.hh b/src/ltlast/bunop.hh
index d3f1a74e6..968f03956 100644
--- a/src/ltlast/bunop.hh
+++ b/src/ltlast/bunop.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2010 Laboratoire de Recherche et Développement
+// Copyright (C) 2010, 2011 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -54,11 +54,11 @@ namespace spot
       ///   - 0[=0..max] = 1[*]
       ///   - 0[=min..max] = 0 if min > 0
       ///   - 1[=0] = [*0]
-      ///   - 1[=min..max] = 1[*min..max] if max > 0
+      ///   - 1[=min..max] = 1[*min..max]
       ///   - Exp[=0..] = [*]
       ///   - Exp[=0] = (!Exp)[*]
-      ///   - 0[->min..max] = 0 if min>0
       ///   - 0[->0..max] = [*0]
+      ///   - 0[->min..max] = 0 if min>0
       ///   - 1[->0] = [*0]
       ///   - 1[->min..max] = 1[*min..max]
       ///   - Exp[->0] = [*0]
diff --git a/src/ltlast/multop.hh b/src/ltlast/multop.hh
index b56dc7ffc..bea72d54e 100644
--- a/src/ltlast/multop.hh
+++ b/src/ltlast/multop.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2009, 2010 Laboratoire de Recherche et D�veloppement
+// Copyright (C) 2009, 2010, 2011 Laboratoire de Recherche et D�veloppement
 // de l'Epita (LRDE).
 // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris
 // 6 (LIP6), d�partement Syst�mes R�partis Coop�ratifs (SRC),
@@ -92,8 +92,8 @@ namespace spot
       /// - Or(Exps1...,1,Exps2...) = 1
       /// - Or(Exps1...,0,Exps2...) = And(Exps1...,Exps2...)
       /// - Or(Exp) = Exp
-      /// - Concat(Exps1...,[*0],Exps2...) = Concat(Exps1...,Exps2...)
       /// - Concat(Exps1...,0,Exps2...) = 0
+      /// - Concat(Exps1...,[*0],Exps2...) = Concat(Exps1...,Exps2...)
       /// - Concat(Exp) = Exp
       /// - Fusion(Exps1...,1,Exps2...) = Concat(Exps1...,Exps2...)
       /// - Fusion(Exps1...,0,Exps2...) = 0