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

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue May  3 13:36:52 2011 +0100

Corrected documentation.

---

 interfaces/Prolog/Prolog_interface.dox |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox
index 672f7b0..5bcd02f 100644
--- a/interfaces/Prolog/Prolog_interface.dox
+++ b/interfaces/Prolog/Prolog_interface.dox
@@ -750,7 +750,7 @@ defining parametric integer programming problems.
    <CODE>Handle</CODE> is unified with the handle for \f$\mathrm{PIP}\f$.</EM>
 
 <P><CODE>
-  ppl_new_PIP_Problem(+Constraint_System, +Lin_Expr, +Vars_List,
+  ppl_new_PIP_Problem(+Dimension_Type, +Constraint_System, +Vars_List,
                       -Handle)
 </CODE><BR>