On Mon, Oct 10, 2011 at 3:48 PM, Oliver Kullmann
<O.Kullmann at swansea.ac.uk>wrote:
> Hello,
>
> we have to use a function which has only a side effect,
> printing out its result. Is it possible to redirect
> this output into a string (so that we can process that
> output)?
>
> Perhaps with_stdout will do what you want?
Ray