Bugzilla – Attachment #452: proposed fix for bug #581
/* -*- Mode: C++; c-file-style: "gnu"; indent-tabs-mode:nil; -*- */
#ifndef DCF_MANAGER_H_
#define DCF_MANAGER_H_
#include "ns3/nstime.h"
#include "ns3/event-id.h"
};
} // namespace ns3
#endif //DCF_MANAGER_H_