White space.

diff --git a/src/lib/timer.cc b/src/lib/timer.cc
index 7afdc394df3cfc370e824a47a218a5f34ffcabde..e0cd93d7ae9248fffded60896131ab4f5f8e8321 100644 (file)
--- a/src/lib/timer.cc
+++ b/src/lib/timer.cc
@@ -82,7 +82,6 @@ StateTimer::~StateTimer ()
                return;
        }
 
-
        set_state (N_(""));
 
        cout << _name << N_(":\n");