Index: src/frame-element.h |
=================================================================== |
--- src/frame-element.h (revision 1985) |
+++ src/frame-element.h (working copy) |
@@ -156,7 +156,10 @@ |
if (type() != other.type() || |
is_copied() != other.is_copied() || |
- is_synced() != other.is_synced()) return false; |
+ is_synced() != other.is_synced() || |
+ !(static_type() == other.static_type())) { |
+ return false; |
+ } |
if (is_register()) { |
if (!reg().is(other.reg())) return false; |