Fix several problems reported by valgrind

[gldbg.git] / flavors / gl / source / profiler.h

diff --git a/flavors/gl/source/profiler.h b/flavors/gl/source/profiler.h
index cd4af7d09d8bcddbd5e1ec401fe64771d150553b..7605fbcadc8e74fbf1e7067dea56a33926d6968f 100644 (file)
--- a/flavors/gl/source/profiler.h
+++ b/flavors/gl/source/profiler.h
@@ -19,6 +19,7 @@ private:
 
 public:
        Profiler(GlDbg &);
+       ~Profiler();
 
        virtual void decode(const char *, unsigned);
 private: