From 1a5de86c1ee15a30bea715c48d4b425fca032d2e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 24 Jul 2016 00:02:34 +0200
Subject: [PATCH] * spot/tl/formula.hh: Fix some comments.

---
 spot/tl/formula.hh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/spot/tl/formula.hh b/spot/tl/formula.hh
index f104bf496..bc0b965b5 100644
--- a/spot/tl/formula.hh
+++ b/spot/tl/formula.hh
@@ -662,9 +662,9 @@ namespace spot
 
     /// \brief Create a null formula.
     ///
-    /// This could be used to default initialize a formula, however
+    /// This could be used to default-initialize a formula, however
     /// null formula should be short lived: most algorithms and member
-    /// function assume that formulas should not be null.
+    /// functions assume that formulas should not be null.
     formula(std::nullptr_t) noexcept
       : ptr_(nullptr)
       {
@@ -684,7 +684,7 @@ namespace spot
           ptr_->clone();
       }
 
-    /// Clone a formula.
+    /// Move-construct a formula.
     formula(formula&& f) noexcept
       : ptr_(f.ptr_)
       {