[GIT] ppl/ppl(master): Indentation corrected.

Module: ppl/ppl Branch: master Commit: e1cb708053900953d6a0fea5890237f52321408f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1cb708053900...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 24 21:38:59 2010 +0400
Indentation corrected.
---
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 e47383c..4f28fe1 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -1491,7 +1491,7 @@ public: Currently there is no optimality guarantee, not even if \p complexity is <CODE>ANY_COMPLEXITY</CODE>. */ - void drop_some_non_integer_points(Complexity_Class complexity + void drop_some_non_integer_points(Complexity_Class complexity = ANY_COMPLEXITY);
/*! \brief
participants (1)
-
Roberto Bagnara