add missing using

This commit is contained in:
Maxime Gimeno 2021-02-08 09:06:57 +01:00
parent 2dac31f36f
commit cca6d7fa88
1 changed files with 1 additions and 0 deletions

View File

@ -566,6 +566,7 @@ CGAL_DEF_GET_INITIALIZED_INDEX_MAP(face, typename boost::graph_traits<Graph>::fa
{
using parameters::get_parameter;
using parameters::choose_parameter;
using parameters::is_default_parameter;
if(!is_default_parameter(get_parameter(np, internal_np::stream_precision)))
{