[PPL-devel] [GIT] ppl/ppl(master): Spurious spaces removed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Mar 27 08:40:58 2009 +0100

Spurious spaces removed.

---

 tests/Polyhedron/ascii_dump_load1.cc |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/Polyhedron/ascii_dump_load1.cc b/tests/Polyhedron/ascii_dump_load1.cc
index f0987ed..c98955d 100644
--- a/tests/Polyhedron/ascii_dump_load1.cc
+++ b/tests/Polyhedron/ascii_dump_load1.cc
@@ -262,7 +262,7 @@ test08() {
   string str;
   do
     f >> str;
-  while (str != "(not_up-to-date)" );
+  while (str != "(not_up-to-date)");
   f.seekp(0, ios_base::cur);
   f << "A\n";
   close(f);
@@ -390,7 +390,7 @@ test12() {
   string str;
   do
     f >> str;
-  while (str != "(not_up-to-date)" );
+  while (str != "(not_up-to-date)");
   f.seekp(0, ios_base::cur);
   f << "\nA";
   close(f);