diff -r 81cfc04531e8 -r 1ae84dea7d09 lemon/lgf_reader.h
--- a/lemon/lgf_reader.h	Sun Jul 13 20:09:47 2008 +0100
+++ b/lemon/lgf_reader.h	Mon Jul 14 09:15:23 2008 +0200
@@ -146,7 +146,7 @@
 
     public:
       ValueStorage(Value& value, const Converter& converter = Converter())
-         : _value(value), _converter(converter) {}
+        : _value(value), _converter(converter) {}
 
       virtual void set(const std::string& value) {
         _value = _converter(value);
@@ -510,7 +510,7 @@
     /// file.
     DigraphReader(const std::string& fn, Digraph& digraph)
       : _is(new std::ifstream(fn.c_str())), local_is(true), _digraph(digraph),
-            _use_nodes(false), _use_arcs(false),
+        _use_nodes(false), _use_arcs(false),
         _skip_nodes(false), _skip_arcs(false) {}
 
     /// \brief Constructor
@@ -519,7 +519,7 @@
     /// file.
     DigraphReader(const char* fn, Digraph& digraph)
       : _is(new std::ifstream(fn)), local_is(true), _digraph(digraph),
-            _use_nodes(false), _use_arcs(false),
+        _use_nodes(false), _use_arcs(false),
         _skip_nodes(false), _skip_arcs(false) {}
 
     /// \brief Destructor
@@ -1294,7 +1294,7 @@
     /// file.
     GraphReader(const std::string& fn, Graph& graph)
       : _is(new std::ifstream(fn.c_str())), local_is(true), _graph(graph),
-            _use_nodes(false), _use_edges(false),
+        _use_nodes(false), _use_edges(false),
         _skip_nodes(false), _skip_edges(false) {}
 
     /// \brief Constructor
@@ -1303,7 +1303,7 @@
     /// file.
     GraphReader(const char* fn, Graph& graph)
       : _is(new std::ifstream(fn)), local_is(true), _graph(graph),
-            _use_nodes(false), _use_edges(false),
+        _use_nodes(false), _use_edges(false),
         _skip_nodes(false), _skip_edges(false) {}
 
     /// \brief Destructor