[PPL-devel] [GIT] ppl/ppl(master): Corrected a few typos.

Enea Zaffanella zaffanella at cs.unipr.it
Fri Apr 16 14:47:10 CEST 2010


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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr 16 14:46:46 2010 +0200

Corrected a few typos.

---

 interfaces/Prolog/XSB/xsb_pl_check.P |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P
index 1958f03..c0e773f 100644
--- a/interfaces/Prolog/XSB/xsb_pl_check.P
+++ b/interfaces/Prolog/XSB/xsb_pl_check.P
@@ -155,8 +155,8 @@ site: http://www.cs.unipr.it/ppl/ . */
         ppl_new_PIP_Problem_from_space_dimension/2,
         ppl_new_PIP_Problem/4,
         ppl_new_PIP_Problem_from_PIP_Problem/2,
-        ppl_PIP_Problem_swap/2 *nofail,
-        ppl_delete_PIP_Problem/1 *nofail,
+        ppl_PIP_Problem_swap/2,
+        ppl_delete_PIP_Problem/1,
         ppl_PIP_Problem_space_dimension/2,
         ppl_PIP_Problem_parameter_space_dimensions/2,
         ppl_PIP_Problem_constraints/2,
@@ -165,7 +165,7 @@ site: http://www.cs.unipr.it/ppl/ . */
         ppl_PIP_Problem_add_to_parameter_space_dimensions/2,
         ppl_PIP_Problem_add_constraint/2,
         ppl_PIP_Problem_add_constraints/2,
-        ppl_PIP_Problem_set_control_parameter/2 *nofail,
+        ppl_PIP_Problem_set_control_parameter/2,
         ppl_PIP_Problem_get_control_parameter/3,
         ppl_PIP_Problem_has_big_parameter_dimension/2,
         ppl_PIP_Problem_set_big_parameter_dimension/2,




More information about the PPL-devel mailing list