[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed comments.

[Roberto Amadini]

Module: ppl/ppl
Branch: floating_point
Commit: 945e8f14d1300e749c15d07eb1f3c5f853ad784a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=945e8f14d1300e749c15d07eb1f3c5f853ad784a

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Feb 18 13:55:09 2010 +0100

Fixed comments.

---

 ...lication_Floating_Point_Expression.templates.hh |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Multiplication_Floating_Point_Expression.templates.hh b/src/Multiplication_Floating_Point_Expression.templates.hh
index a40cfdc..d1fdbdf 100644
--- a/src/Multiplication_Floating_Point_Expression.templates.hh
+++ b/src/Multiplication_Floating_Point_Expression.templates.hh
@@ -34,11 +34,11 @@ void Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format>
   /*
     FIXME: We currently adopt the "Interval-Size Local" strategy in order to
     decide which of the two linear forms must be intervalized, as described
-    in section 6.2.4 ("Multiplication Strategies") of Antoine Mine's Ph.D.
+    in Section 6.2.4 ("Multiplication Strategies") of Antoine Mine's Ph.D.
     thesis "Weakly Relational Numerical Abstract Domains".
-    In this section are also described other multiplication strategies, such
-    as All-Cases, Relative-Size Local, Relative-Size Local,
-    Simplification-Driven Global and Homogeneity Global.
+    In this Section are also described other multiplication strategies, such
+    as All-Cases, Relative-Size Local, Simplification-Driven Global and
+    Homogeneity Global.
   */
 
   // Here we choose which of the two linear forms must be intervalized.