From c46d6cee9a7514b81d413022ae4dcc3d539e66c9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 13 May 2014 18:26:32 +0200
Subject: [PATCH] * src/ltlast/multop.hh: Typo in comment.

---
 src/ltlast/multop.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ltlast/multop.hh b/src/ltlast/multop.hh
index a2a970964..900620c37 100644
--- a/src/ltlast/multop.hh
+++ b/src/ltlast/multop.hh
@@ -140,7 +140,7 @@ namespace spot
 
       /// \brief construct a formula without the nth child.
       ///
-      /// If the formula \c f is <code>a|b|c|d</code> and <code>d</code>
+      /// If the formula \c f is <code>a|b|c|d</code> and <code>c</code>
       /// is child number 2, then calling <code>f->all_but(2)</code> will
       /// return a new formula <code>a|b|d</code>.
       const formula* all_but(unsigned n) const;