X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/1b8ae6904556859bbe91aadf35b8adcc1a0611ce..061ece7d6fedbde47030222fea74b575c12707dc:/src/sortSet.c diff --git a/src/sortSet.c b/src/sortSet.c index 4702b4f..46006ec 100644 --- a/src/sortSet.c +++ b/src/sortSet.c @@ -1,6 +1,6 @@ /* ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2002 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,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-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 */ /* @@ -30,7 +30,7 @@ */ # include "splintMacros.nf" -# include "llbasic.h" +# include "basic.h" sortSet sortSet_new () {