[PPL-devel] [GIT] ppl/ppl(pip): Fixed typo.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun Jun 14 22:57:25 2009 +0200

Fixed typo.

---

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

diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh
index a92c2c6..82a1d3a 100644
--- a/src/PIP_Tree.defs.hh
+++ b/src/PIP_Tree.defs.hh
@@ -151,7 +151,7 @@ private:
     \exception std::invalid_argument
     Thrown if \p cs contains strict inequalities.
   */
-  PIP_Decision_Node(const Constraint_System& cs, Recycle_Input dummy,
+  PIP_Decision_Node(Constraint_System& cs, Recycle_Input dummy,
                     PIP_Tree_Node* fcp, PIP_Tree_Node* tcp);
 };