X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_types.h;fp=palacios%2Finclude%2Fpalacios%2Fvmm_types.h;h=8f898dc2db8828ffc5fa14857bbb8a6c282bacdd;hp=9a3fe612ff1b43b0d4398ab0917638930a4cc18d;hb=5a354421360c38d0f4d90f03c25296b2b35eec0e;hpb=3d2d01f344c7417adba8f7b8ac6501d45392222f

diff --git a/palacios/include/palacios/vmm_types.h b/palacios/include/palacios/vmm_types.h
index 9a3fe61..8f898dc 100644
--- a/palacios/include/palacios/vmm_types.h
+++ b/palacios/include/palacios/vmm_types.h
@@ -21,7 +21,7 @@
 #define __VMM_TYPES_H
 
 #ifdef __V3VEE__
-//#include <palacios/vmm_stddef.h>
+/* #include <palacios/vmm_stddef.h> */
 
 
 
@@ -76,6 +76,6 @@ typedef char sint8_t;
 
 typedef ulong_t addr_t;
 typedef ullong_t v3_reg_t;
-#endif // ! __V3VEE__
+#endif /* ! __V3VEE__ */
 
 #endif