Module: ppl/ppl Branch: pip Commit: 235b8ee1963d6a1e82e38d84aa867d600cb0ae66 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=235b8ee1963d6...
Author: Abramo Bagnara abramo.bagnara@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); };