From 2f7e66096c8c2199d5fdb9e469cfec9b8e73632c Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 15 May 2019 11:04:27 +0200
Subject: [PATCH] Missing header

---
 Number_types/test/Number_types/checked_NT.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Number_types/test/Number_types/checked_NT.h b/Number_types/test/Number_types/checked_NT.h
index 26b4a913e08..4de367c19d2 100644
--- a/Number_types/test/Number_types/checked_NT.h
+++ b/Number_types/test/Number_types/checked_NT.h
@@ -6,6 +6,7 @@
 #include <CGAL/Real_embeddable_traits.h>
 #include <CGAL/number_utils.h>
 #include <CGAL/enum.h>
+#include <CGAL/is_convertible.h>
 #include <boost/utility/enable_if.hpp>
 
 namespace CGAL {