diff options
Diffstat (limited to 'sim/common/hw-alloc.c')
| -rw-r--r-- | sim/common/hw-alloc.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sim/common/hw-alloc.c b/sim/common/hw-alloc.c index e64ae82..5664e9b 100644 --- a/sim/common/hw-alloc.c +++ b/sim/common/hw-alloc.c @@ -42,8 +42,6 @@ create_hw_alloc_data (struct hw *me) void delete_hw_alloc_data (struct hw *me) { - if (me->alloc_of_hw != NULL) - hw_abort (me, "hw-alloc botch"); while (me->alloc_of_hw != NULL) { hw_free (me, me->alloc_of_hw->alloc); |