From e8f4361d7677985b2d63cbe33602505583a3ef2c Mon Sep 17 00:00:00 2001
From: Lioncash <mathew1800@gmail.com>
Date: Fri, 14 Nov 2014 12:10:26 -0500
Subject: [PATCH] ARM_Interface: Make destructor virtual

Fixes some warnings on OSX.
---
 src/core/arm/arm_interface.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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() {
     }
 
     /**