1 files changed, 6 insertions, 6 deletions

diff --git a/litmus/litmus.c b/litmus/litmus.c
index c4f899510900..38f276d67095 100644
--- a/litmus/litmus.c
+++ b/litmus/litmus.c
@@ -368,12 +368,12 @@ void litmus_exit_task(struct task_struct* tsk)
 
                 litmus->task_exit(tsk);
 
-                BUG_ON(bheap_node_in_heap(tsk_rt(tsk)->heap_node));
-                bheap_node_free(tsk_rt(tsk)->heap_node);
-                release_heap_free(tsk_rt(tsk)->rel_heap);
-
-                atomic_dec(&rt_task_count);
-                reinit_litmus_state(tsk, 1);
+                if (!bheap_node_in_heap(tsk_rt(tsk)->heap_node)) {
+                        bheap_node_free(tsk_rt(tsk)->heap_node);
+                        release_heap_free(tsk_rt(tsk)->rel_heap);
+                        atomic_dec(&rt_task_count);
+                        reinit_litmus_state(tsk, 1);
+                }
         }
 }