diff --git a/src/core/sal/arm/ArmCPUState.hpp b/src/core/sal/arm/ArmCPUState.hpp
index 4060f815..127d0723 100644
--- a/src/core/sal/arm/ArmCPUState.hpp
+++ b/src/core/sal/arm/ArmCPUState.hpp
@@ -18,6 +18,7 @@ public:
 	 * @return the current lr
 	 */
 	virtual address_t getLinkRegister() const = 0;
+	virtual ~ArmCPUState() { }
 };
 
 // TODO: Enum for misc registers