diff --git a/mps/code/vmix.c b/mps/code/vmix.c index 50f5863f26d..a3d36a63cf8 100644 --- a/mps/code/vmix.c +++ b/mps/code/vmix.c @@ -1,4 +1,4 @@ -/* vmix.c: VIRTUAL MEMORY MAPPING FOR FreeBSD +/* vmix.c: VIRTUAL MEMORY MAPPING FOR UNIX (ISH) * * $Id$ * Copyright (c) 2001,2007 Ravenbrook Limited. See end of file for license.