From 1ae4e85dd0b529c0162d5a53b2a6fa905aad6dab Mon Sep 17 00:00:00 2001
From: Carles Fernandez <carles.fernandez@gmail.com>
Date: Thu, 2 Jul 2020 07:08:53 +0200
Subject: [PATCH] Remove character

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index dfc14923e..073cec97d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -897,7 +897,7 @@ unset(has_std_plus_void CACHE)
 if(CMAKE_CXX_STANDARD VERSION_GREATER 11)
     include(CheckCXXSourceCompiles)
     check_cxx_source_compiles("
-        #include <functional>
+        #include <functional>
         int main()
         { [](float a=1, float b=0){return std::plus<>();}; };"
         has_std_plus_void