From 3ffbbe3cefad0da022eb73eb30aa8205c87b831d Mon Sep 17 00:00:00 2001
From: Cameron Cawley <ccawley2011@gmail.com>
Date: Mon, 20 Jun 2022 23:10:21 +0100
Subject: [PATCH] DS: Avoid redefining double as float

---
 backends/platform/ds/portdefs.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/backends/platform/ds/portdefs.h b/backends/platform/ds/portdefs.h
index a0905454764c..d7bafced3182 100644
--- a/backends/platform/ds/portdefs.h
+++ b/backends/platform/ds/portdefs.h
@@ -45,8 +45,6 @@ typedef unsigned int uint;
 #undef assert
 #define assert(e) sassert(e, " ")
 
-#define double float
-
 #ifndef DISABLE_COMMAND_LINE
 #define DISABLE_COMMAND_LINE
 #endif