[PPL-devel] [GIT] ppl/ppl(master): Tabs avoided.
Roberto Bagnara
roberto.bagnara at bugseng.com
Sun Jun 8 17:07:21 CEST 2014
Module: ppl/ppl
Branch: master
Commit: f583be190c8ea3ad57216efc2ec17b71807b8b14
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f583be190c8ea3ad57216efc2ec17b71807b8b14
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date: Sun Jun 8 16:39:39 2014 +0200
Tabs avoided.
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 ad47770..b00f50c 100644
--- a/src/Polyhedron_nonpublic.cc
+++ b/src/Polyhedron_nonpublic.cc
@@ -2320,19 +2320,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:
More information about the PPL-devel
mailing list