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

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Dec  7 08:33:45 2011 +0100

Indentation fixed.
Detected by ECLAIR service indntion.

---

 src/Pointset_Powerset.templates.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Pointset_Powerset.templates.hh b/src/Pointset_Powerset.templates.hh
index 44430f3..d75786a 100644
--- a/src/Pointset_Powerset.templates.hh
+++ b/src/Pointset_Powerset.templates.hh
@@ -1496,7 +1496,7 @@ Pointset_Powerset<PSET>::ascii_dump(std::ostream& s) const {
 
 PPL_OUTPUT_TEMPLATE_DEFINITIONS(PSET, Pointset_Powerset<PSET>)
 
-  template <typename PSET>
+template <typename PSET>
 bool
 Pointset_Powerset<PSET>::ascii_load(std::istream& s) {
   Pointset_Powerset& x = *this;