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

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Jan  6 11:44:48 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 d02cae1..f994b6e 100644
--- a/src/MIP_Problem.defs.hh
+++ b/src/MIP_Problem.defs.hh
@@ -687,7 +687,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