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 547bd3514004f01b8ff540391ae62fbc24232954..7605fbcadc8e74fbf1e7067dea56a33926d6968f 100644 (file)
--- a/flavors/gl/source/profiler.h
+++ b/flavors/gl/source/profiler.h
@@ -1,10 +1,3 @@
-/* $Id$
-
-This file is part of gldbg
-Copyright © 2011  Mikko Rasa, Mikkosoft Productions
-Distributed under the GPL
-*/
-
 #ifndef PROFILER_H_
 #define PROFILER_H_
 
@@ -26,6 +19,7 @@ private:
 
 public:
        Profiler(GlDbg &);
+       ~Profiler();
 
        virtual void decode(const char *, unsigned);
 private: