Index: source/ariba/utility/system/Timer.cpp
===================================================================
--- source/ariba/utility/system/Timer.cpp	(revision 4935)
+++ source/ariba/utility/system/Timer.cpp	(revision 4950)
Index: source/ariba/utility/system/Timer.h
===================================================================
--- source/ariba/utility/system/Timer.h	(revision 4935)
+++ source/ariba/utility/system/Timer.h	(revision 4950)
@@ -63,5 +63,5 @@
 public:
 	Timer();
-	~Timer();
+	virtual ~Timer();
 
 	/**