Module: ppl/ppl Branch: master Commit: 7cac8985192bd1b37ce930feb1c60a47e4f5a144 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cac8985192bd... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Mar 31 21:06:51 2012 +0200 Indentation fixed. --- src/Octagonal_Shape.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index 622c546..199bfbe 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -1399,7 +1399,7 @@ public: \leq \mathrm{var}' \leq \frac{\mathrm{ub\_expr}}{\mathrm{denominator}}\f$. - \param var + \param var The variable updated by the affine relation; \param lb_expr