--- a/src/devices/wifi/dcf-manager.cc	Tue Nov 13 16:32:39 2007 +0100
+++ b/src/devices/wifi/dcf-manager.cc	Tue Nov 13 17:26:24 2007 +0100
@@ -16,6 +16,9 @@
  *      Implement the DCF state holder
  ****************************************************************/
 
+DcfState::~DcfState ()
+{}
+
 void 
 DcfState::SetAifsn (uint32_t aifsn)
 {
@@ -84,6 +87,18 @@
  ****************************************************************/
 
 void 
+DcfManager::SetParameters (const MacParameters *parameters)
+{
+  m_parameters = parameters;
+}
+
+void 
+DcfManager::SetAckTxDuration (Time ackTxDuration)
+{
+  m_ackTxTime = ackTxDuration;
+}
+
+void 
 DcfManager::Add (DcfState *dcf)
 {
   m_states.push_back (dcf);

--- a/src/devices/wifi/dcf-manager.h	Tue Nov 13 16:32:39 2007 +0100
+++ b/src/devices/wifi/dcf-manager.h	Tue Nov 13 17:26:24 2007 +0100
@@ -44,6 +44,7 @@
 
 class DcfManager
 {
+public:
   void SetParameters (const MacParameters *parameters);
 
   // at the lowest mandatory rate.
@@ -133,7 +134,7 @@
   bool m_sleeping;
   Time m_ackTxTime;
   EventId m_accessTimeout;
-  MacParameters *m_parameters;
+  const MacParameters *m_parameters;
 };
 
 } // namespace ns3