src/core/random-variable-default-value.cc
changeset 1335 d0e45d84f9c6
parent 970 e62217592fde
child 1504 36ecc970ba96
--- a/src/core/random-variable-default-value.cc	Fri Aug 10 15:53:43 2007 +0200
+++ b/src/core/random-variable-default-value.cc	Fri Aug 10 15:57:33 2007 +0200
@@ -19,7 +19,7 @@
  * Author: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
  */
 #include "random-variable-default-value.h"
-#include "ns3/debug.h"
+#include "debug.h"
 
 NS_DEBUG_COMPONENT_DEFINE ("RandomVariableDefaultValue");