[PPL-devel] [GIT] ppl/ppl(floating_point): Corrected documentation.
Patricia Hill
p.m.hill at leeds.ac.uk
Tue May 3 17:10:05 CEST 2011
Module: ppl/ppl
Branch: floating_point
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>
More information about the PPL-devel
mailing list