From 9abc6f9aec00b7002e9c7a77fc6933c0e3917bf1 Mon Sep 17 00:00:00 2001 From: Jonathan G Rennison Date: Thu, 3 Nov 2022 18:58:24 +0000 Subject: [PATCH] Comment out additional include of Reapplies part of 22c3a010 --- src/3rdparty/optional/optional.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/3rdparty/optional/optional.hpp b/src/3rdparty/optional/optional.hpp index e0bf7007e8..ba7895c924 100644 --- a/src/3rdparty/optional/optional.hpp +++ b/src/3rdparty/optional/optional.hpp @@ -13,7 +13,7 @@ # include # include # include -# include +//# include # include # include # include