diff --git a/TargetLibraries/PULPOpen/inc/types.h b/TargetLibraries/PULPOpen/inc/types.h
index 1031a868..15ff3dca 100644
--- a/TargetLibraries/PULPOpen/inc/types.h
+++ b/TargetLibraries/PULPOpen/inc/types.h
@@ -32,7 +32,7 @@
 
 // PULP-specific floating point types
 // FIXME: check compiler for actual types and uncomment
-// typedef float16 float16_t;
+typedef _Float16 float16_t;
 // typedef float16alt bfloat16_t;
 
 #endif //__DEEPLOY_MATH_TYPES_HEADER_