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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 10 18:27:08 2010 +0100

Fixed documentation reference.

---

interfaces/C/ppl_c_header.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index 403a3ce..d899321 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -734,7 +734,7 @@ PPL_TYPE_DECLARATION(PIP_Solution_Node)

The types and functions for PIP artificial parameters provide an interface towards - \extref{Parma_Polyhedra_Library::Artificial_Parameter, Artificial_Parameter}. + \extref{Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter, Artificial_Parameter}. */ PPL_TYPE_DECLARATION(Artificial_Parameter) PPL_TYPE_DECLARATION(Artificial_Parameter_Sequence)