X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=misc%2Fnetwork_servers%2Fvtl%2Fvtl_util.cc;h=e9e3f9b5b9d8ccedc0eb4595e268e88d29ce58f9;hp=87e78038e744163580af5f2eaa1dc4c1eac47367;hb=05321e346403e7cedc06d7adb769702925d94471;hpb=ac93f0773f4c6cef2f2f542240695a8706037d41

diff --git a/misc/network_servers/vtl/vtl_util.cc b/misc/network_servers/vtl/vtl_util.cc
index 87e7803..e9e3f9b 100644
--- a/misc/network_servers/vtl/vtl_util.cc
+++ b/misc/network_servers/vtl/vtl_util.cc
@@ -1,5 +1,5 @@
 #include "vtl_util.h"
-
+#include <assert.h>
 
 
 void dbg_print_pkt_info(RawEthernetPacket * pkt) {
@@ -30,7 +30,7 @@ void dbg_print_pkt(RawEthernetPacket * pkt) {
   char pkt_line[128];
   unsigned int pkt_size = pkt->get_size() - 1;
 
-  JRLDBG("Packet Dump: (pkt_size=%d) \n", pkt->get_size());
+  JRLDBG("Packet Dump: (pkt_size=%lu) \n", pkt->get_size());
 
   for (x = 0; x < pkt_size;) {
     sprintf(pkt_line, "\t%.4x:  ", x);