[PPL-devel] [GIT] ppl/ppl(compliance): Avoid tabs. Fixes violations of rule UCRP1. RS1 detected by ECLAIR.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Jun 30 18:00:31 2014 +0200

Avoid tabs. Fixes violations of rule UCRP1.RS1 detected by ECLAIR.

---

 src/Polyhedron_nonpublic.cc |   16 ++++++++--------
 1 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc
index 4511e09..4743e3c 100644
--- a/src/Polyhedron_nonpublic.cc
+++ b/src/Polyhedron_nonpublic.cc
@@ -2484,19 +2484,19 @@ PPL::Polyhedron::positive_time_elapse_assign_impl(const Polyhedron& y) {
         }
         new_g.expr.normalize();
         PPL_ASSERT(new_g.OK());
-	new_gs.insert(new_g);
+        new_gs.insert(new_g);
       }
       break;
     case Generator::CLOSURE_POINT:
       // If g is not the origin, insert g into new_gs, as a ray.
       if (!g.expr.all_homogeneous_terms_are_zero()) {
-	// Turn a copy of g into a ray.
-	Generator g_as_a_ray = g;
-	g_as_a_ray.expr.set_inhomogeneous_term(0);
-	g_as_a_ray.expr.normalize();
-	PPL_ASSERT(g_as_a_ray.OK());
-	// Insert the ray.
-	new_gs.insert(g_as_a_ray);
+        // Turn a copy of g into a ray.
+        Generator g_as_a_ray = g;
+        g_as_a_ray.expr.set_inhomogeneous_term(0);
+        g_as_a_ray.expr.normalize();
+        PPL_ASSERT(g_as_a_ray.OK());
+        // Insert the ray.
+        new_gs.insert(g_as_a_ray);
       }
       break;
     case Generator::RAY: