X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11db3170da99e22aa0acea76debd6c7b590a629c..5b99bfd6792ab9229bb5b1d9048833d21b22ecef:/src/fileIdList.c?ds=sidebyside diff --git a/src/fileIdList.c b/src/fileIdList.c index b3b4d4e..c77a523 100644 --- a/src/fileIdList.c +++ b/src/fileIdList.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2001 University of Virginia, +** Copyright (C) 1994-2003 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it @@ -17,14 +17,17 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* ** fileIdList.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" -# include "fileIdList.h" + +/* +** No code needed (all from ctypeList) +*/