Missing header

2019-05-15 11:04:27 +02:00 · 2019-05-15 11:04:27 +02:00 · 2f7e66096c
parent 2c5cc9a9e9
commit 2f7e66096c
1 changed files with 1 additions and 0 deletions
--- 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 {