[PPL-devel] [GIT] ppl/ppl(master): Fixed two code formatting glitches.

Roberto Bagnara bagnara at cs.unipr.it
Fri May 1 11:13:31 CEST 2009


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

Author: Roberto Bagnara <bagnara at 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,




More information about the PPL-devel mailing list