diff --git a/src/core/arm/arm_interface.h b/src/core/arm/arm_interface.h
index be677ae203..4b93d33139 100644
--- a/src/core/arm/arm_interface.h
+++ b/src/core/arm/arm_interface.h
@@ -16,7 +16,7 @@ public:
         num_instructions = 0;
     }
 
-    ~ARM_Interface() {
+    virtual ~ARM_Interface() {
     }
 
     /**