[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