namespace cln {
-void print_real (cl_ostream stream, const cl_print_number_flags& flags, const cl_R& z)
+void print_real (std::ostream& stream, const cl_print_number_flags& flags, const cl_R& z)
{
print_real(stream,(const cl_print_real_flags&)flags,z);
}