commit 3db4b23b3fdc563b3bc8eaea2ae7ced0977e9357
Author: Jean-Marc Lasgouttes <lasgout...@lyx.org>
Date:   Fri Feb 20 15:39:45 2015 +0100

    Fix memory leak in TImer class.
    
    This is not really important since the class is currently not used.
    
    This is coverity issue 23291.

diff --git a/src/support/Timeout.cpp b/src/support/Timeout.cpp
index 6a628fd..449fee0 100644
--- a/src/support/Timeout.cpp
+++ b/src/support/Timeout.cpp
@@ -158,6 +158,12 @@ Timer::Timer() : d(new Private)
 }
 
 
+Timer::~Timer()
+{
+       delete d;
+}
+
+
 void Timer::restart()
 {
        time(&d->start_time);
diff --git a/src/support/Timeout.h b/src/support/Timeout.h
index de3062a..d4b0a64 100644
--- a/src/support/Timeout.h
+++ b/src/support/Timeout.h
@@ -68,8 +68,11 @@ private:
 class Timer
 {
 public:
+       ///
        Timer();
        ///
+       ~Timer();
+       ///
        void restart();
        ///
        int elapsed() const;

Reply via email to