possible correction -- Re: std.file.write versus std.stdio.write

[dsmith]

On Wednesday, 28 November 2012 at 15:11:01 UTC, dsmith wrote:
> import std.stdio;   // no std.file is imported, yet the 
> following error:
>
> Error: std.file.write at 
> /usr/include/dmd/phobos/std/file.d(419) conflicts with 
> std.stdio.write!(string,string).write at 
> /usr/include/dmd/phobos/std/stdio.d(1544)

A library imported has, in turn, import std.file