From 3abe02075b92dcc03354a21315c8ab5da25e29cc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Sat, 1 Feb 2025 23:11:25 +0100
Subject: [PATCH] GMP is not always available

---
 Nef_3/test/Nef_3/issue8644bis.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Nef_3/test/Nef_3/issue8644bis.cpp b/Nef_3/test/Nef_3/issue8644bis.cpp
index 6968f704c4e..1424419e6cf 100644
--- a/Nef_3/test/Nef_3/issue8644bis.cpp
+++ b/Nef_3/test/Nef_3/issue8644bis.cpp
@@ -1,8 +1,8 @@
 #include <CGAL/Extended_cartesian.h>
-#include <CGAL/Gmpq.h>
+#include <CGAL/Exact_rational.h>
 #include <CGAL/Nef_polyhedron_3.h>
 
-using Kernel = CGAL::Extended_cartesian<CGAL::Gmpq>;
+using Kernel = CGAL::Extended_cartesian<CGAL::Exact_rational>;
 using Nef = CGAL::Nef_polyhedron_3<Kernel>;
 
 int main()