[PPL-devel] [GIT] ppl/ppl(master): Fixed call to ppl_PIP_Solution_Node_get_parametric_values().

Enea Zaffanella zaffanella at cs.unipr.it
Mon Feb 22 21:16:27 CET 2010


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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 22 21:15:26 2010 +0100

Fixed call to ppl_PIP_Solution_Node_get_parametric_values().

---

 interfaces/C/tests/pip_test.c |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/interfaces/C/tests/pip_test.c b/interfaces/C/tests/pip_test.c
index 32fc606..80456fa 100644
--- a/interfaces/C/tests/pip_test.c
+++ b/interfaces/C/tests/pip_test.c
@@ -134,8 +134,7 @@ display_solution_i(ppl_const_PIP_Tree_Node_t node,
       for (i=0; i<n_vars; ++i) {
         if (notfirst)
           printf(" ; ");
-        ppl_PIP_Solution_Node_get_parametric_values(sn, vars[i], parameters,
-                                                    n_params, &le);
+        ppl_PIP_Solution_Node_get_parametric_values(sn, vars[i], &le);
         ppl_io_print_Linear_Expression(le);
         notfirst = 1;
       }




More information about the PPL-devel mailing list