Fix cmake configure issue introduced by #1148

add missing RESET_CMAKE_REQUIRED() introduced by #1148 and commit
e02e450.

diff --git a/cmake/checks/check_03_compiler_bugs.cmake b/cmake/checks/check_03_compiler_bugs.cmake
index c741149b4f9cbd51ff228207fde689be6fdb841c..17c7a0db521875eed5003bcf884d4a1d65e5ac84 100644 (file)
--- a/cmake/checks/check_03_compiler_bugs.cmake
+++ b/cmake/checks/check_03_compiler_bugs.cmake
@@ -420,5 +420,5 @@ IF(DEAL_II_WITH_CXX11)
     "
     DEAL_II_ICC_SFINAE_BUG
     )
-
+  RESET_CMAKE_REQUIRED()
 ENDIF()