src/internet-node/udp.cc
changeset 733 fb1882e7d785
parent 732 df256f32b6ae
child 738 2c105723d191
--- a/src/internet-node/udp.cc	Mon Jun 04 16:32:37 2007 +0200
+++ b/src/internet-node/udp.cc	Mon Jun 04 16:42:10 2007 +0200
@@ -28,7 +28,7 @@
 #include "udp-header.h"
 #include "ipv4-end-point-demux.h"
 #include "ipv4-end-point.h"
-#include "ipv4.h"
+#include "ipv4-l3-protocol.h"
 #include "i-ipv4-private.h"
 #include "l3-demux.h"
 #include "udp-socket.h"