[PPL-devel] [GIT] ppl/ppl(master): Fixed the formatting of do-while loops.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Mar 27 07:27:54 2009 +0100

Fixed the formatting of do-while loops.

---

 tests/Polyhedron/memory1.cc   |    6 ++----
 tests/Polyhedron/watchdog1.cc |    6 ++----
 2 files changed, 4 insertions(+), 8 deletions(-)

diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc
index ad21bdb..f1544d0 100644
--- a/tests/Polyhedron/memory1.cc
+++ b/tests/Polyhedron/memory1.cc
@@ -181,16 +181,14 @@ main() TRY {
   do {
     ++dimension;
     nout << "Trying dimension " << dimension << endl;
-  }
-  while (guarded_compute_open_hypercube_generators(dimension, INIT_MEMORY));
+  } while (guarded_compute_open_hypercube_generators(dimension, INIT_MEMORY));
 
   // Now find an upper bound to the memory necessary to compute it.
   unsigned long upper_bound = INIT_MEMORY;
   do {
     upper_bound *= 2;
     nout << "Trying upper bound " << upper_bound << endl;
-  }
-  while (!guarded_compute_open_hypercube_generators(dimension, upper_bound));
+  } while (!guarded_compute_open_hypercube_generators(dimension, upper_bound));
 
   // Search the "exact" amount of memory.
   int lower_bound = upper_bound/2;
diff --git a/tests/Polyhedron/watchdog1.cc b/tests/Polyhedron/watchdog1.cc
index f4c049a..270bc52 100644
--- a/tests/Polyhedron/watchdog1.cc
+++ b/tests/Polyhedron/watchdog1.cc
@@ -101,16 +101,14 @@ main() TRY {
   do {
     ++dimension;
     nout << "Trying dimension " << dimension << endl;
-  }
-  while (timed_compute_open_hypercube_generators(dimension, INIT_TIME));
+  } while (timed_compute_open_hypercube_generators(dimension, INIT_TIME));
 
   // Now find an upper bound to the time necessary to compute it.
   int upper_bound = INIT_TIME;
   do {
     upper_bound *= 2;
     nout << "Trying upper bound " << upper_bound << endl;
-  }
-  while (!timed_compute_open_hypercube_generators(dimension, upper_bound));
+  } while (!timed_compute_open_hypercube_generators(dimension, upper_bound));
 
   // Search the "exact" time.
   int lower_bound = upper_bound/2;