Added missing virtual Destructor, fixes gcc warning

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@2068 8c4709b5-6ec9-48aa-a5cd-a96041d1645a

src/core/sal/bochs/BochsCPU.hpp

@@ -28,6 +28,10 @@ public:
 	 */
 	BochsCPU(unsigned int id) : m_Id(id) { }
 	/**
+	 * Virtual Destructor is required.
+   */
+	virtual ~BochsCPU() { }
+		/**
 	 * Retrieves the content of the register \c reg.
 	 * @param reg the register pointer of interest (cannot be \c NULL)
 	 * @return the content of the register \c reg