From 506734cae1432217d7e5458aa2a9a2b5001f00bb Mon Sep 17 00:00:00 2001
From: Paul Joannon <hello@pauljoannon.com>
Date: Thu, 18 May 2023 13:37:34 +0200
Subject: [PATCH] Link the right build property to REAL_T_IS_DOUBLE

(cherry picked from commit 178cd046bbb5885b418054bb68e000d253d4a362)
---
 .../mono/editor/GodotTools/GodotTools/Build/BuildManager.cs   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules/mono/editor/GodotTools/GodotTools/Build/BuildManager.cs b/modules/mono/editor/GodotTools/GodotTools/Build/BuildManager.cs
index 6c5c61acb91..0b3793cd2be 100644
--- a/modules/mono/editor/GodotTools/GodotTools/Build/BuildManager.cs
+++ b/modules/mono/editor/GodotTools/GodotTools/Build/BuildManager.cs
@@ -270,7 +270,7 @@ namespace GodotTools.Build
                 buildInfo.CustomProperties.Add($"GodotTargetPlatform={platform}");
 
             if (Internal.GodotIsRealTDouble())
-                buildInfo.CustomProperties.Add("GodotRealTIsDouble=true");
+                buildInfo.CustomProperties.Add("GodotFloat64=true");
 
             return buildInfo;
         }
@@ -288,7 +288,7 @@ namespace GodotTools.Build
             buildInfo.CustomProperties.Add($"GodotTargetPlatform={platform}");
 
             if (Internal.GodotIsRealTDouble())
-                buildInfo.CustomProperties.Add("GodotRealTIsDouble=true");
+                buildInfo.CustomProperties.Add("GodotFloat64=true");
 
             return buildInfo;
         }