From 39d5924982e54a20b923df49d4b6a3abe079040f Mon Sep 17 00:00:00 2001
From: Marc Mezzarobba <marc@mezzarobba.net>
Date: Thu, 29 Jun 2023 14:50:06 +0200
Subject: [PATCH] fix detection of ntl

---
 configure.ac | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/configure.ac b/configure.ac
index 02c76ee011..d2b26950d3 100644
--- a/configure.ac
+++ b/configure.ac
@@ -653,8 +653,10 @@ fi
 
 if test "$with_ntl" = "yes";
 then
+    AC_LANG_PUSH([C++])
     AC_CHECK_HEADER([NTL/ZZ.h],,
                     AC_MSG_ERROR([Could not find NTL/ZZ.h!]))
+    AC_LANG_POP([C++])
 fi
 
 ################################################################################