[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a few cut-and-paste errors in the

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Tue Nov 30 15:39:19 2010 +0100

Fixed a few cut-and-paste errors in the
documentation.

---

 src/linearize.hh |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/linearize.hh b/src/linearize.hh
index 48f55fa..36ee49a 100644
--- a/src/linearize.hh
+++ b/src/linearize.hh
@@ -46,7 +46,7 @@ namespace Parma_Polyhedra_Library {
   Makes \p result become the linearization of \p *this in the given
   composite abstract store.
 
-  \param expr The binary operator concrete expression to linearize.
+  \param bop_expr The binary operator concrete expression to linearize.
   Its binary operator type must be <CODE>ADD</CODE>.
   \param oracle The FP_Oracle to be queried.
   \param lf_store The linear form abstract store.
@@ -146,7 +146,7 @@ add_linearize(const Binary_Operator<Target>& bop_expr,
   Makes \p result become the linearization of \p *this in the given
   composite abstract store.
 
-  \param expr The binary operator concrete expression to linearize.
+  \param bop_expr The binary operator concrete expression to linearize.
   Its binary operator type must be <CODE>SUB</CODE>.
   \param oracle The FP_Oracle to be queried.
   \param lf_store The linear form abstract store.
@@ -252,7 +252,7 @@ sub_linearize(const Binary_Operator<Target>& bop_expr,
   Makes \p result become the linearization of \p *this in the given
   composite abstract store.
 
-  \param expr The binary operator concrete expression to linearize.
+  \param bop_expr The binary operator concrete expression to linearize.
   Its binary operator type must be <CODE>MUL</CODE>.
   \param oracle The FP_Oracle to be queried.
   \param lf_store The linear form abstract store.
@@ -441,7 +441,7 @@ mul_linearize(const Binary_Operator<Target>& bop_expr,
   Makes \p result become the linearization of \p *this in the given
   composite abstract store.
 
-  \param expr The binary operator concrete expression to linearize.
+  \param bop_expr The binary operator concrete expression to linearize.
   Its binary operator type must be <CODE>DIV</CODE>.
   \param oracle The FP_Oracle to be queried.
   \param lf_store The linear form abstract store.
@@ -574,7 +574,7 @@ div_linearize(const Binary_Operator<Target>& bop_expr,
   Makes \p result become the linearization of \p *this in the given
   composite abstract store.
 
-  \param expr The cast operator concrete expression to linearize.
+  \param cast_expr The cast operator concrete expression to linearize.
   \param oracle The FP_Oracle to be queried.
   \param lf_store The linear form abstract store.
   \param result The modified linear form.