src/internet-node/wscript
changeset 2321 f1a18a24d318
parent 2224 6f97d21a99c2
child 2609 931d59bb1303
--- a/src/internet-node/wscript	Wed Feb 06 10:03:46 2008 -0800
+++ b/src/internet-node/wscript	Sat Feb 09 18:37:58 2008 +0000
@@ -43,4 +43,5 @@
         'ipv4-header.h',
         'udp-header.h',
         'tcp-header.h',
+        'sequence-number.h',
         ]