diff options
author | bunnei <bunneidev@gmail.com> | 2014-11-15 01:38:51 -0500 |
---|---|---|
committer | bunnei <bunneidev@gmail.com> | 2014-11-15 01:38:51 -0500 |
commit | 613627205cc72905ef79eb243598dd1f675acbb6 (patch) | |
tree | 85a068824acf89409b1736ea4fdbae3f3b7fcb03 /src | |
parent | 3cfdabb2e3594f8b380b53db2af7de41958408c6 (diff) | |
parent | e8f4361d7677985b2d63cbe33602505583a3ef2c (diff) |
Merge pull request #194 from lioncash/virt
ARM_Interface: Make destructor virtual
Diffstat (limited to 'src')
-rw-r--r-- | src/core/arm/arm_interface.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/arm/arm_interface.h b/src/core/arm/arm_interface.h index be677ae2..4b93d331 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() { } /** |