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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 10:31:56 2009 +0200

Fixed two code formatting glitches.

---

src/Grid_public.cc | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 8075e0d..bfbb8be 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -1980,7 +1980,8 @@ generalized_affine_image(const Variable var, assert(OK()); }

-void PPL::Grid:: +void +PPL::Grid:: generalized_affine_preimage(const Variable var, const Relation_Symbol relsym, const Linear_Expression& expr, @@ -2206,7 +2207,8 @@ generalized_affine_image(const Linear_Expression& lhs, assert(OK()); }

-void PPL::Grid:: +void +PPL::Grid:: generalized_affine_preimage(const Linear_Expression& lhs, const Relation_Symbol relsym, const Linear_Expression& rhs,