[PPL-devel] [GIT] ppl/ppl(master): Declare functions at file scope.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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