X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e83c79ec6440c133a3ece107f1e1dd9cf27aff7c..3d5af57657a639ba6fcc4005d16e7313f875e519:/src/exprNodeList.c diff --git a/src/exprNodeList.c b/src/exprNodeList.c index 5b15e51..e66082e 100644 --- a/src/exprNodeList.c +++ b/src/exprNodeList.c @@ -1,6 +1,6 @@ /* -** LCLint - annotation-assisted static program checker -** Copyright (C) 1994-2001 University of Virginia, +** Splint - annotation-assisted static program checker +** Copyright (C) 1994-2002 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it @@ -17,9 +17,9 @@ ** 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 more information: http://lclint.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 */ /* ** exprNodeList.c @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@only@*/ exprNodeList @@ -43,7 +43,7 @@ exprNodeList_new () dmalloc (sizeof (*s->elements) * exprNodeListBASESIZE); s->current = 0; - return (s); + return (s); } static void