diff --git a/lib/core/private.h b/lib/core/private.h
index 125640403..1da5e209b 100644
--- a/lib/core/private.h
+++ b/lib/core/private.h
@@ -33,16 +33,6 @@
 #endif
 */
 
-#if defined(__COVERITY__) && !defined(LWS_COVERITY_WORKAROUND)
- #define LWS_COVERITY_WORKAROUND
- typedef float _Float32;
- typedef float _Float64;
- typedef float _Float128;
- typedef float _Float32x;
- typedef float _Float64x;
- typedef float _Float128x;
-#endif
-
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>