[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed documentation copy-and-paste error.

[Enea Zaffanella]

Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: 708d4eb3d218be8c41c3f549a38975023f50e647
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=708d4eb3d218be8c41c3f549a38975023f50e647

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Jan  6 11:47:01 2011 +0100

Fixed documentation copy-and-paste error.

---

 src/MIP_Problem.defs.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/MIP_Problem.defs.hh b/src/MIP_Problem.defs.hh
index 0f6a03c..d05a8a4 100644
--- a/src/MIP_Problem.defs.hh
+++ b/src/MIP_Problem.defs.hh
@@ -596,7 +596,7 @@ private:
     is \c true if the variable is known to be nonnegative (and hence should
     not be split into a positive and a negative part).
 
-    \param is_nonnegative_variable
+    \param is_remergeable_variable
     This container of Boolean flags is initially empty.
     On exit, it size is equal to \c internal_space_dim.
     For each variable (index), the corresponding element of this container