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

[Roberto Bagnara]

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

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