From ba6ca6801fa1a20e8365614b99fa081d514da064 Mon Sep 17 00:00:00 2001
From: Carles Fernandez <carles.fernandez@gmail.com>
Date: Wed, 1 Jul 2020 23:28:00 +0200
Subject: [PATCH] Remove character

---
 CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index bc326ee8f..dfc14923e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -914,7 +914,7 @@ unset(has_transform_reduce_with_execution_policy CACHE)
 if(CMAKE_CXX_STANDARD VERSION_GREATER 14)
     include(CheckCXXSourceCompiles)
     check_cxx_source_compiles("
-        #include <functional>
+        #include <functional>
         #include <numeric>
         #include <vector>
         int main()
@@ -926,7 +926,7 @@ if(CMAKE_CXX_STANDARD VERSION_GREATER 14)
     )
     check_cxx_source_compiles("
         #include <execution>
-        #include <functional>
+        #include <functional>
         #include <numeric>
         #include <vector>
         int main()