- extern void print_vector (cl_ostream stream, const cl_print_flags& flags, void (* fun) (cl_ostream, const cl_print_flags&, const cl_number&), const cl_GV_number& vector);
- extern void print_integer (cl_ostream stream, const cl_print_flags& flags, const cl_I& z);
+ extern void print_vector (std::ostream& stream, const cl_print_flags& flags, void (* fun) (std::ostream&, const cl_print_flags&, const cl_number&), const cl_GV_number& vector);
+ extern void print_integer (std::ostream& stream, const cl_print_flags& flags, const cl_I& z);