diff --git a/openair2/COMMON/platform_types.h b/openair2/COMMON/platform_types.h
index cd8ae7a552ba531aed2b30b5c8708e23976f3ae1..534c692926ed6d8f262db0e64fed908bd0456883 100755
--- a/openair2/COMMON/platform_types.h
+++ b/openair2/COMMON/platform_types.h
@@ -11,8 +11,6 @@
 
 #ifdef USER_MODE
 #include <stdint.h>
-//#else
-//#include <linux/types.h>
 #endif
 
 //-----------------------------------------------------------------------------