diff --git a/Filtered_kernel/developer_scripts/profile_cleanup b/Filtered_kernel/developer_scripts/profile_cleanup index f990838684a..6849bcc4424 100755 --- a/Filtered_kernel/developer_scripts/profile_cleanup +++ b/Filtered_kernel/developer_scripts/profile_cleanup @@ -17,6 +17,7 @@ cat $@ | sed -e 's/CGAL:://g' \ -e 's/Lazy_kernel > >/LK/g' \ -e 's/CommonKernelFunctors:://g' \ -e 's/CartesianKernelFunctors:://g' \ + -e 's/CircularFunctors:://g' \ -e 's/typename Filtered_predicate::result_type Filtered_predicate::operator()//g' \ -e 's/ const //g' \ -e 's/, AP =.*]/]/g' \ @@ -28,7 +29,9 @@ cat $@ | sed -e 's/CGAL:://g' \ -e 's/Lazy_exact_nt Lazy_construction_nt::operator()//g' \ -e 's/Lazy_exact_nt::type> //g' \ -e 's/Object Lazy_construction_object::operator()//g' \ + -e 's/Lazy_curved_kernel >, Algebraic_kernel_converter, To_interval > > > >/Lazy_CK/g' \ -e 's/, LK = LK//g' \ + -e 's/, LK = Lazy_CK//g' \ -e 's///g' \ -e 's///g' \ -e 's///g' \