From d18d392ca4decd3670c527e79b7b49c1f15612fe Mon Sep 17 00:00:00 2001 From: Anders Jenbo Date: Sun, 16 Jun 2019 01:47:34 +0200 Subject: [PATCH] Re introduce infinity --- 3rdParty/Storm/Source/storm.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/3rdParty/Storm/Source/storm.h b/3rdParty/Storm/Source/storm.h index c0d6daf5f..15ed0f486 100644 --- a/3rdParty/Storm/Source/storm.h +++ b/3rdParty/Storm/Source/storm.h @@ -7,6 +7,7 @@ #include #include #include +#include // Note to self: Linker error => forgot a return value in cpp @@ -52,6 +53,8 @@ typedef struct _WSIZE } WSIZE, *PWSIZE; #ifdef __cplusplus +static float infinity = std::numeric_limits::infinity(); + struct CCritSect { CRITICAL_SECTION m_critsect;