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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Sep 28 14:46:51 2011 +0200

Declare functions at file scope.

---

demos/ppl_lpsol/ppl_lpsol.c | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index b0dad47..76ab48d 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -1001,9 +1001,10 @@ solve_with_simplex(ppl_const_Constraint_System_t cs, return optimum_found; }

+extern void set_d_eps(mpq_t x, double val); + static void set_mpq_t_from_double(mpq_t q, double d) { - void set_d_eps(mpq_t x, double val); if (check_results) set_d_eps(q, d); else