Ticket #2742: 2742.patch

thread.hpp

@@ -456 +456 @@
         {
             virtual ~thread_exit_function_base()
             {}
-            virtual void operator()() const=0;
+            virtual void operator()() =0;
         };
         
         template<typename F>
@@ -469 +469 @@
                 f(f_)
             {}
             
-            void operator()() const
+            void operator()()
             {
                 f();
             }