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

diff --git a/misc/network_servers/vtl/vtl_model.cc b/misc/network_servers/vtl/vtl_model.cc
index 2b95abd..a571c62 100644
--- a/misc/network_servers/vtl/vtl_model.cc
+++ b/misc/network_servers/vtl/vtl_model.cc
@@ -1,5 +1,5 @@
 #include "vtl_model.h"
-
+#include <assert.h>
 
 
 /* VTL Models */
@@ -510,13 +510,13 @@ void dbg_dump_ip_model(ip_model_t * model) {
 
   printf("\tSrc Host {\n");
   printf("\t\taddr: %s\n", ip_to_string(model->src.addr));
-  printf("\t\tIP ID: %lu\n", model->src.ip_id);
+  printf("\t\tIP ID: %d\n", model->src.ip_id);
   printf("\t\tttl: %d\n", model->src.ttl);
   printf("\t}\n");
 
   printf("\tDst Host {\n");
   printf("\t\taddr: %s\n", ip_to_string(model->dst.addr));
-  printf("\t\tIP ID: %lu\n", model->dst.ip_id);
+  printf("\t\tIP ID: %d\n", model->dst.ip_id);
   printf("\t\tttl: %d\n", model->dst.ttl);
   printf("\t}\n");