diff options
| -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 be677ae20..4b93d3313 100644 --- a/src/core/arm/arm_interface.h +++ b/src/core/arm/arm_interface.h | |||
| @@ -16,7 +16,7 @@ public: | |||
| 16 | num_instructions = 0; | 16 | num_instructions = 0; |
| 17 | } | 17 | } |
| 18 | 18 | ||
| 19 | ~ARM_Interface() { | 19 | virtual ~ARM_Interface() { |
| 20 | } | 20 | } |
| 21 | 21 | ||
| 22 | /** | 22 | /** |