--- a/src/devices/wifi/dca-txop.cc	Thu Nov 22 16:40:35 2007 +0100
+++ b/src/devices/wifi/dca-txop.cc	Fri Nov 23 11:36:16 2007 +0100
@@ -115,9 +115,11 @@
   delete m_transmissionListener;
   delete m_queue;
   delete m_dcf;
+  delete m_rng;
   m_transmissionListener = 0;
   m_queue = 0;
   m_dcf = 0;
+  m_rng = 0;
 }
 
 void