Merge pull request #194 from lioncash/virt

ARM_Interface: Make destructor virtual

src/core/arm/arm_interface.h

@@ -16,7 +16,7 @@ public:
         num_instructions = 0;
     }
 
-    ~ARM_Interface() {
+    virtual ~ARM_Interface() {
     }
 
     /**