[PPL-devel] [GIT] ppl/ppl(master): Fixed documentation reference.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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)