X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/77d3741943947b83a5d6a10a5e31650a1005dbde..0f55522abf3e990fe6984a24a351bf684c4977cc:/src/constraintOutput.c?ds=sidebyside diff --git a/src/constraintOutput.c b/src/constraintOutput.c index 7dfa1fd..bb45608 100644 --- a/src/constraintOutput.c +++ b/src/constraintOutput.c @@ -17,8 +17,8 @@ ** 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 */ @@ -26,7 +26,7 @@ ** constraintOutput.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "portab.h"