[PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jun 25 07:30:01 2012 +0200

Indentation fixed.

---

 tests/Polyhedron/watchdog1.cc |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/Polyhedron/watchdog1.cc b/tests/Polyhedron/watchdog1.cc
index f48e875..21f067e 100644
--- a/tests/Polyhedron/watchdog1.cc
+++ b/tests/Polyhedron/watchdog1.cc
@@ -84,9 +84,9 @@ timed_compute_open_hypercube_generators(dimension_type dimension, int csecs) {
   // If Watchdog objects are not supported, an std::logic_error exception
   // will be thrown: this is normal.
   catch (const std::logic_error& e) {
-  nout << "std::logic_error exception caught: \n" << e.what() << std::endl;
-  exit(0);
-}
+    nout << "std::logic_error exception caught: \n" << e.what() << std::endl;
+    exit(0);
+  }
 #endif // !PPL_WATCHDOG_OBJECTS_ARE_SUPPORTED
   catch (const std::exception& e) {
     nout << "unexpected std::exception caught: \n" << e.what() << endl;