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

Module: ppl/ppl Branch: master Commit: c010978f5fdf88d1655fc4ae03b3e114fb3ad8d5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c010978f5fdf8...
Author: Roberto Bagnara bagnara@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);
participants (1)
-
Roberto Bagnara