X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=f3bce6f530ffc77eec631888da0db572234851b8;hb=d12cdf5b213b2b51d525914a852ceacd2c198b5a;hp=ebcdfb85579d76be006d987dad7432d2d9cf62ec;hpb=56b5a7897dfb4dbf0b556d46c456fb9bdaa15762;p=palacios.git diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c index ebcdfb8..f3bce6f 100644 --- a/palacios/src/palacios/vmm.c +++ b/palacios/src/palacios/vmm.c @@ -34,7 +34,7 @@ #endif #ifdef V3_CONFIG_VNET -#include +#include #endif