[m-dev.] diff: delete #include <unistd.h> from mercury_context.c

Thomas Charles Conway conway at hydra.cs.mu.oz.au
Thu Dec 17 10:18:40 AEDT 1998


On Thu, Dec 17, 1998 at 04:10:07AM EST, Fergus Henderson wrote:
> Tom, does this look OK?
> 
> Estimated hours taken: 0.25
> 
> runtime/mercury_context.c:
> 	Delete the `#include <unistd.h>', since it's not needed,
> 	and since <unistd.h> is not part of ANSI C, 
> 

Fine.

-- 
Thomas Conway <conway at cs.mu.oz.au> )O+
To a killer whale, otters are like hairy popcorn -- Paul Dayton



More information about the developers mailing list