From 5462529bcc10060ef4b959b2181da335ed9a7f71 Mon Sep 17 00:00:00 2001
From: Andy Green <andy@warmcat.com>
Date: Wed, 19 Jun 2019 12:50:50 +0100
Subject: [PATCH] coverity-2019-03 update

---
 lib/core/private.h | 10 ----------
 1 file changed, 10 deletions(-)

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>