Updated the copyright on source code files.

diff --git a/src/Headers/functionClauseList.h b/src/Headers/functionClauseList.h
index d7b56bfcce012b5e6c34ab07cce5757dd4766d49..1d515de7e4553180b38db40b70b6da0d2b13b924 100644 (file)
--- a/src/Headers/functionClauseList.h
+++ b/src/Headers/functionClauseList.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */

diff --git a/src/abstract.c b/src/abstract.c
index 64807cf51bb71a83a75b31051c02ac17b6b16f95..62f899410556897a3b33990c5b27e82ae8b0da9d 100644 (file)
--- a/src/abstract.c
+++ b/src/abstract.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

diff --git a/src/aliasTable.c b/src/aliasTable.c
index 3246c697593e1d4ee7da49f0a9eaa8fea97a6034..58c3126d60c3e0a0e246d3e292b7973c7a4f2ee9 100644 (file)
--- a/src/aliasTable.c
+++ b/src/aliasTable.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

diff --git a/src/annotationInfo.c b/src/annotationInfo.c
index 75d36fc4ef7c81e308f3383ea54792bd65945d2c..c3fd230cb74d0550403f0c5a0e7a577dd2b59d28 100644 (file)
--- a/src/annotationInfo.c
+++ b/src/annotationInfo.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

diff --git a/src/annotationTable.c b/src/annotationTable.c
index 052a232eb52ef738c19ebbba5610dc6ace1e90b8..c7438e0c565d66e770c3984775f3d50f992e8b40 100644 (file)
--- a/src/annotationTable.c
+++ b/src/annotationTable.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

diff --git a/src/cgrammar.y b/src/cgrammar.y
index 7294805ecfac2f9861398df1a4a532284ba0b7ec..33f8cae30634bc59f032aa3c1811e0ff41856154 100644 (file)
--- a/src/cgrammar.y
+++ b/src/cgrammar.y
@@ -1,6 +1,6 @@
 /*;-*-C-*-;
 ** 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

diff --git a/src/checking.c b/src/checking.c
index 6731b095baeac4bfc1ef1820bd7df7ac16579d1a..7adb6dbb17385fbb6c7c14b5024d2328943b1391 100644 (file)
--- a/src/checking.c
+++ b/src/checking.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

diff --git a/src/clabstract.c b/src/clabstract.c
index 26c52ff5318b37f2a18e8e7dfe24efdbdcdcb8a0..da24ba0e951a0ae9074b36240d25d68b642503e6 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.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

diff --git a/src/clause.c b/src/clause.c
index 527907c1a0e68932e158950a18edb1a2cfa42426..1a0f41f5b78e05fb8e41c071f8bef05836f0bf4f 100644 (file)
--- a/src/clause.c
+++ b/src/clause.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

diff --git a/src/clauseStack.c b/src/clauseStack.c
index 43ae071feffda6659d8bf52c314a296f1a926b80..73c77944a0bffe49cc4a0425deaa79f465a64f1c 100644 (file)
--- a/src/clauseStack.c
+++ b/src/clauseStack.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

diff --git a/src/constraint.c b/src/constraint.c
index 2410e1d410b232fdea474ffa59fd8e9d7214f4aa..f0d411295a7a5adee2f97fe571ee75e5ad84c74e 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.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

diff --git a/src/constraintExpr.c b/src/constraintExpr.c
index 35dc50a35074e8e444a3b8f2afa9c3c2644752cc..0c1060b13ffa5be4ee04380b8b35a99699afca22 100644 (file)
--- a/src/constraintExpr.c
+++ b/src/constraintExpr.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

diff --git a/src/constraintExprData.c b/src/constraintExprData.c
index d2fd3e0f7464c80e1b82e577d6714a2f74819f3a..e38034444def92e38c3c16bd7090ba9a17897b8b 100644 (file)
--- a/src/constraintExprData.c
+++ b/src/constraintExprData.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

diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c
index 0a48a9070c8d729fc745fefd5f3e4be27dc839fd..da699e53d04cb8dd9357cfdb7b768e9d6886e663 100644 (file)
--- a/src/constraintGeneration.c
+++ b/src/constraintGeneration.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

diff --git a/src/constraintOutput.c b/src/constraintOutput.c
index bb456089d9620fdc713fabe457d6b5fc99995207..1b3ab260dedf37b7c36e84377eb07d47967eeeba 100644 (file)
--- a/src/constraintOutput.c
+++ b/src/constraintOutput.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

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index 6f795b399bc2392354e954d5aca03d4c3b616329..24e5ebdca99d2cd6428c84de6aa07e58a7b74ccf 100644 (file)
--- a/src/constraintResolve.c
+++ b/src/constraintResolve.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

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 234598a7ed5f880f16ac18cd53d379ca8841a332..ed66677c6732c149191caa1b0f0685018e293770 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.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

diff --git a/src/context.c b/src/context.c
index 7c91bfac0f1511fb20a0dcc2a560fd4401b89e0d..82be4ba7a317fbc6cccebf39463e0f256af244b2 100644 (file)
--- a/src/context.c
+++ b/src/context.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

diff --git a/src/cpperror.c b/src/cpperror.c
index 5d76f99709406ce8c7ddfd51f86e2ac8e7d321db..137ef164fa36b5bbaf28f778cad4aa99edea7e31 100644 (file)
--- a/src/cpperror.c
+++ b/src/cpperror.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

diff --git a/src/cppexp.c b/src/cppexp.c
index 3dda026e40122a77f8f41127f2a2345a3e242e53..6f59849a0c615d19dd436bdbb1f7dff37687880a 100644 (file)
--- a/src/cppexp.c
+++ b/src/cppexp.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

diff --git a/src/cpphash.c b/src/cpphash.c
index f43a5dc4e6d02407d301bc574e0c75926e81c280..937af05fcd4420e7dfc86744fe419a8d96331c58 100644 (file)
--- a/src/cpphash.c
+++ b/src/cpphash.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

diff --git a/src/cpplib.c b/src/cpplib.c
index 767e60a2ae4df7e7884c53d08dfb5781d8361a5a..340f34be924a6afd1c908b9187db0bb11d682a2c 100644 (file)
--- a/src/cpplib.c
+++ b/src/cpplib.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

diff --git a/src/cppmain.c b/src/cppmain.c
index 36b1ce07b1b93f94382562982db1168bab68bc0f..7cd4a0a79db8b4f70351a2db2e77910b0f408d27 100644 (file)
--- a/src/cppmain.c
+++ b/src/cppmain.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

diff --git a/src/cprim.c b/src/cprim.c
index 8f5aa55af90fe5e021cbe3a91d979b9e2de3ff09..df3b7095016de6db85dde9625cb429ba7f129fb8 100644 (file)
--- a/src/cprim.c
+++ b/src/cprim.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

diff --git a/src/cscanner.l b/src/cscanner.l
index 592560eb3a82ad0f2a78925e3f26ca79c6199aa8..625126dbbd016d7762ea326e106f488a3216ffc2 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -1,6 +1,6 @@
 /*;-*-C-*-; 
 ** 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

diff --git a/src/cscannerHelp.c b/src/cscannerHelp.c
index b4887f459162603e3701e629595352edffb21edd..d3379ae632a2cc172fa5712d3acc6aea6ef499c5 100644 (file)
--- a/src/cscannerHelp.c
+++ b/src/cscannerHelp.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

diff --git a/src/cstring.c b/src/cstring.c
index e16ae33a7e8c1682806ec5f579b3e05da1cf5047..c6e1f477197fdc8100a6681e59d158e921460405 100644 (file)
--- a/src/cstring.c
+++ b/src/cstring.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

diff --git a/src/cstringList.c b/src/cstringList.c
index da4ec632285e6e8e9992871e86964cb120c66b84..5ab49954014678dec53be4cb031add509bb0928f 100644 (file)
--- a/src/cstringList.c
+++ b/src/cstringList.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

diff --git a/src/cstringSList.c b/src/cstringSList.c
index 9db2406070bd56e99dd14e5bb393cb5be993aff8..ede8d8ed9477712eaddc8092a2b7932543cca0d9 100644 (file)
--- a/src/cstringSList.c
+++ b/src/cstringSList.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

diff --git a/src/cstringTable.c b/src/cstringTable.c
index 4246e220b48093861a5ee0805a5d5c4a1809b1b0..9be49ed895f16c7e39ebbdef2d1d641555031a93 100644 (file)
--- a/src/cstringTable.c
+++ b/src/cstringTable.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

diff --git a/src/ctbase.i b/src/ctbase.i
index 667cb6c2ae3ec6b227421871c35efd08e1eb1ee9..2b30048475725b4dc7c0ad79dd039b3478e340c6 100644 (file)
--- a/src/ctbase.i
+++ b/src/ctbase.i
@@ -1,6 +1,6 @@
 /* ;-*-C-*-; 
 ** 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

diff --git a/src/cttable.i b/src/cttable.i
index c50c8d611d187139efa27b70bb5df643b01ae2c5..585daf8fab2513638ab90f83a88d80a4db739b1d 100644 (file)
--- a/src/cttable.i
+++ b/src/cttable.i
@@ -1,6 +1,6 @@
 /* ;-*-C-*-; 
 ** 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

diff --git a/src/ctype.c b/src/ctype.c
index 6f9677e47650e9ed75fcafdd73de8f1aabcc3301..1cc720af500f3e4242be72e4635527634138b3db 100644 (file)
--- a/src/ctype.c
+++ b/src/ctype.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

diff --git a/src/ctypeList.c b/src/ctypeList.c
index 6f5076445d0760e7e62f57f3cb1c2ea6ec62c197..003742208d2bd51894c93315689be649926ba222 100644 (file)
--- a/src/ctypeList.c
+++ b/src/ctypeList.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

diff --git a/src/cvar.c b/src/cvar.c
index 247a529c1f90a0d13b23bbdb108270a951b8070b..9315388c8d01cd9dacafa4a23f5c86e5fdea02cd 100644 (file)
--- a/src/cvar.c
+++ b/src/cvar.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

diff --git a/src/declaratorInvNodeList.c b/src/declaratorInvNodeList.c
index c98b5c18f6d7ffd7fb92c859d31146aa7977b27c..c0784f5812bc4dd389da8f9cedab90bbf33bdeb6 100644 (file)
--- a/src/declaratorInvNodeList.c
+++ b/src/declaratorInvNodeList.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

diff --git a/src/declaratorNodeList.c b/src/declaratorNodeList.c
index 36d9250ba9a2a85603e818b702ae79e37630686b..ad36481db7e5c683b752d305c202a6f1b2c9d3f1 100644 (file)
--- a/src/declaratorNodeList.c
+++ b/src/declaratorNodeList.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

diff --git a/src/ekind.c b/src/ekind.c
index 0d11b5247ecb8c9d4222dd3e1a31901b3fc27544..9b335387cada993229ac761ca12f45a1e129178f 100644 (file)
--- a/src/ekind.c
+++ b/src/ekind.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

diff --git a/src/enumNameList.c b/src/enumNameList.c
index 410123585d8202088701fb8599637ffa407affcd..7d32aae9bff0174ba16d59eb8c2d21b1cc3336ca 100644 (file)
--- a/src/enumNameList.c
+++ b/src/enumNameList.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

diff --git a/src/enumNameSList.c b/src/enumNameSList.c
index 5dea53fdc8b7449a00b5bba4e33f2ffefddc531b..535c6c68efe6bfe0530dfd524af156b282f62b64 100644 (file)
--- a/src/enumNameSList.c
+++ b/src/enumNameSList.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

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 54fce3ce319f3cca8f9eb7fe0e4bda20e8b795ed..5a8f624cea1d05df1a5788a9204dbae7fb9c5a93 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.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

diff --git a/src/exprNode.c b/src/exprNode.c
index 97cab2a92ef1bc19f18a7c1b4b99b9c866c35713..1e6da49868544aa2e007426ef547f5cdfe9efe94 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.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

diff --git a/src/exprNodeList.c b/src/exprNodeList.c
index e66082e1f37a54d8167eb2fc0b466d813c25b793..3d6606317f90d8beb05d8485dd2edf2f381fdcdb 100644 (file)
--- a/src/exprNodeList.c
+++ b/src/exprNodeList.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

diff --git a/src/exprNodeSList.c b/src/exprNodeSList.c
index d5e931dd899ffba85487ff4d8c58c6ad7da07f4b..b71bce1379f9267254d9bde425dc207b3cef3b00 100644 (file)
--- a/src/exprNodeSList.c
+++ b/src/exprNodeSList.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

diff --git a/src/fcnNodeList.c b/src/fcnNodeList.c
index e1b3c9c4bf0e9c06529064defe60746bee839720..19bb191f03c566a10a01abcb2dc926befec4d4a0 100644 (file)
--- a/src/fcnNodeList.c
+++ b/src/fcnNodeList.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

diff --git a/src/fileIdList.c b/src/fileIdList.c
index 18b747256036bb1a71cc9244d6e683e9b0235eb0..c77a523befe73ba98c489e8abfedf8fed01bded0 100644 (file)
--- a/src/fileIdList.c
+++ b/src/fileIdList.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

diff --git a/src/fileLib.c b/src/fileLib.c
index b2b04f05f3bd2002414da80cbbbd80ea50b8972d..ea0892784589b3c28de399975bcc010e26392484 100644 (file)
--- a/src/fileLib.c
+++ b/src/fileLib.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

diff --git a/src/fileTable.c b/src/fileTable.c
index f570e12e48e5baf4dd4ea6a2746dff88ce4b39b5..dee235ea4077aaa709e5732549c6dec6492a3554 100644 (file)
--- a/src/fileTable.c
+++ b/src/fileTable.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

diff --git a/src/fileloc.c b/src/fileloc.c
index 23e4e7f4ef950381c456979372bcae40611a1b26..c1f95dd0ba911a1706b9ab33e9372b7307d1e8de 100644 (file)
--- a/src/fileloc.c
+++ b/src/fileloc.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

diff --git a/src/filelocList.c b/src/filelocList.c
index 44164d1a80b7e48a8b7a44a6112f97d057a8d113..8897264649ec13735a0ffb5b9ce5911668dbe85f 100644 (file)
--- a/src/filelocList.c
+++ b/src/filelocList.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

diff --git a/src/filelocStack.c b/src/filelocStack.c
index 734e73f56ff7558410a776a4db319fbde90bac0c..c6670321ee205b6d40a3ea9195a7578bad76cf81 100644 (file)
--- a/src/filelocStack.c
+++ b/src/filelocStack.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

diff --git a/src/flagMarker.c b/src/flagMarker.c
index c1327bd143e60be6f42cfd1779b64a4723e393eb..b51269b01088f4949e754521a596b4efde505880 100644 (file)
--- a/src/flagMarker.c
+++ b/src/flagMarker.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

diff --git a/src/flagMarkerList.c b/src/flagMarkerList.c
index ec660634bbd151fc5d463e1b975c872068a50323..7b557cf392c0cf4dd2786e9bd223781677812184 100644 (file)
--- a/src/flagMarkerList.c
+++ b/src/flagMarkerList.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

diff --git a/src/flagSpec.c b/src/flagSpec.c
index 939a07d6e7ef211ae7049129e3e9682147c17338..e2b2d9e336e052573a43c7a16863487ed8ffe0a4 100644 (file)
--- a/src/flagSpec.c
+++ b/src/flagSpec.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

diff --git a/src/flags.c b/src/flags.c
index 67387540d6910c69ccbcee49b925c677fe365aff..086fae0811d1d739fbe9c973af8a1174b5c9fd05 100644 (file)
--- a/src/flags.c
+++ b/src/flags.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

diff --git a/src/functionClause.c b/src/functionClause.c
index 83aa8366f439ae2e90ba9d35221be9008894cdf9..c741a99aebce38f301c457590659e4a4f607c45c 100644 (file)
--- a/src/functionClause.c
+++ b/src/functionClause.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

diff --git a/src/functionClauseList.c b/src/functionClauseList.c
index 825c2149826698bac42827ed3d828b0c58caac1a..665605ca7b8cbcf8b04c7ae330c50428ba688ada 100644 (file)
--- a/src/functionClauseList.c
+++ b/src/functionClauseList.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

diff --git a/src/functionConstraint.c b/src/functionConstraint.c
index b97a8022bddf2b09a274e622ba747a7e4395cb0f..96bfff88dedaccc388116d62aeefe8a02a7ad597 100644 (file)
--- a/src/functionConstraint.c
+++ b/src/functionConstraint.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

diff --git a/src/general.c b/src/general.c
index c90c87dc32ab6c38c7d3a1b1d550fa536b7f1859..972420079cde04b7be3ae3f554c2fbc149469108 100644 (file)
--- a/src/general.c
+++ b/src/general.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

diff --git a/src/genericTable.c b/src/genericTable.c
index 2325d50a6de047bac68288d6da1d4e769111536f..4ba7a09ecc59f3e761516d80763c3d7789ecf7a9 100644 (file)
--- a/src/genericTable.c
+++ b/src/genericTable.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

diff --git a/src/globSet.c b/src/globSet.c
index f4142b885960c94e5a8ef530efb22504bf20e73d..b595c9c303d6d8f4b3515517cb63a5f5b2e86859 100644 (file)
--- a/src/globSet.c
+++ b/src/globSet.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

diff --git a/src/globals.c b/src/globals.c
index 845b48efe11703cf0d8aea559aa2d05f65532596..a46b011024f12d775c0655dc5cad1e9a9f160ec1 100644 (file)
--- a/src/globals.c
+++ b/src/globals.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

diff --git a/src/globalsClause.c b/src/globalsClause.c
index c32465e46ea79213cf4a2f31e7e054dae9a43874..59fef94b7388e512c2109cb4a22cf0ef19c9ef0f 100644 (file)
--- a/src/globalsClause.c
+++ b/src/globalsClause.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

diff --git a/src/guardSet.c b/src/guardSet.c
index f8ab23f120b5ff350fffaef56cbe5e618d5a0113..a21f82423052b94e5c14b2841dd29d977e28ee82 100644 (file)
--- a/src/guardSet.c
+++ b/src/guardSet.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

diff --git a/src/help.c b/src/help.c
index 60f0324a0d407e16bf5c5101afad6452c5bec2da..53163fdfba97684912eeb5e836b1c5bb696f012f 100644 (file)
--- a/src/help.c
+++ b/src/help.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

diff --git a/src/idDecl.c b/src/idDecl.c
index ccb0aea4441f60b91fde0de881939b5d21187f24..24ebb7531062bccb5f323d36435beacebd527fa2 100644 (file)
--- a/src/idDecl.c
+++ b/src/idDecl.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

diff --git a/src/idDeclList.c b/src/idDeclList.c
index b63e83c67d06a4c88ebf8613bdebe27d589fd353..5ebf2964fff6c1660d993aa7a233251ae66114d1 100644 (file)
--- a/src/idDeclList.c
+++ b/src/idDeclList.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

diff --git a/src/importNodeList.c b/src/importNodeList.c
index 7751ef73ddcce61e1170875d3f6fe6fca720dbbd..597516b22f89c0a2b111a82ed1e8fc926551a670 100644 (file)
--- a/src/importNodeList.c
+++ b/src/importNodeList.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

diff --git a/src/imports.c b/src/imports.c
index 2b609f3e3b0b5f0b8838cbf3a0fd54ce5983c9aa..55c937bfe3a1e2a07869529bd59465d7718694f4 100644 (file)
--- a/src/imports.c
+++ b/src/imports.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

diff --git a/src/initDeclNodeList.c b/src/initDeclNodeList.c
index 968c44204503516b2cf7b261fc58a32694e44810..74669d435cbfb0d507bb04e6219a582fbeb1f4eb 100644 (file)
--- a/src/initDeclNodeList.c
+++ b/src/initDeclNodeList.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

diff --git a/src/inputStream.c b/src/inputStream.c
index 973267a062bb5e4e3084f2c8d1662240bde3076f..95c1323462087e9341495061af323d538928bb19 100644 (file)
--- a/src/inputStream.c
+++ b/src/inputStream.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

diff --git a/src/intSet.c b/src/intSet.c
index 6ea1d5c9505115763a54ea7fbddf533c78fbe461..248561a9f7eb95ca8f10bca79776c35dfe4a1b7c 100644 (file)
--- a/src/intSet.c
+++ b/src/intSet.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

diff --git a/src/interfaceNodeList.c b/src/interfaceNodeList.c
index be6244ad77e197c964d4acde9614b3ff3e78f3bb..3c4bdffe56714442b22374ca3c496bf79307c949 100644 (file)
--- a/src/interfaceNodeList.c
+++ b/src/interfaceNodeList.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

diff --git a/src/lclctypes.c b/src/lclctypes.c
index 9d7ce919c294519535f57f01c6b3b8ae9435e581..48535eb7e7e55b7ade807abbba430c7014998ae6 100644 (file)
--- a/src/lclctypes.c
+++ b/src/lclctypes.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

diff --git a/src/lclinit.c b/src/lclinit.c
index f6f697a4fc9073d6eff0cca534a69e593ebb8296..47439941443dbe9ed082c45ac883285dc69e1907 100644 (file)
--- a/src/lclinit.c
+++ b/src/lclinit.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

diff --git a/src/lcllib.c b/src/lcllib.c
index 4ea77cd59201598a8c9466216dc368a0a3aca76c..6fecc48c6a91bec311bac72278f501e3b46c3188 100644 (file)
--- a/src/lcllib.c
+++ b/src/lcllib.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

diff --git a/src/lclscan.c b/src/lclscan.c
index a3fc25533b6794d50d2ee491155ce1856e887e12..20b6dee26fa6a633c94f85903bf5732ad6fa460d 100644 (file)
--- a/src/lclscan.c
+++ b/src/lclscan.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

diff --git a/src/lclscanline.c b/src/lclscanline.c
index 5bdf8f11e4916a6588035d61c8f8d978c7b8eb7d..622a1ac813a2edb6cf7bab9c188dc2ada6e071c2 100644 (file)
--- a/src/lclscanline.c
+++ b/src/lclscanline.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

diff --git a/src/lclsyntable.c b/src/lclsyntable.c
index 4c3f171986ca1f65d512604b16a0f77a31a71864..b9d39c967cc5b93d9a2c0b6a21ee2f1b666c96ac 100644 (file)
--- a/src/lclsyntable.c
+++ b/src/lclsyntable.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

diff --git a/src/lcltokentable.c b/src/lcltokentable.c
index dfb206bc7db2b66ee40fe441af009f182a81191a..e6b5e83d654a354bd1b80abca12f738ea2ba45b5 100644 (file)
--- a/src/lcltokentable.c
+++ b/src/lcltokentable.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

diff --git a/src/letDeclNodeList.c b/src/letDeclNodeList.c
index f7677f16a599fa688909891027c657ebb68d4c66..6a2388556fbd662497aa692cb0ffb6d8792abc57 100644 (file)
--- a/src/letDeclNodeList.c
+++ b/src/letDeclNodeList.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

diff --git a/src/lh.c b/src/lh.c
index 2c477d9d58bd73b6315b38d884c4afb0b455e238..05930e84ac93b37bad17b9c43f28c62b90626792 100644 (file)
--- a/src/lh.c
+++ b/src/lh.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

diff --git a/src/llerror.c b/src/llerror.c
index 99d6ce85ac131404327c8bab811cea4482a3d9c0..056092084dfe398603c721a2b290e5360345e02c 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.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

diff --git a/src/llgrammar.y b/src/llgrammar.y
index 3ca2b4afd68cf7b3b07e524fde84489c62f478d2..e83c59875d6a718871cda78ec2c579ff68ae710f 100644 (file)
--- a/src/llgrammar.y
+++ b/src/llgrammar.y
@@ -1,6 +1,6 @@
 /*;-*-C-*-;
 ** 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

diff --git a/src/llmain.c b/src/llmain.c
index cf70ca707088661e3dcba01fd16c00cf468822b4..ad07b7266350fae76975f10b3f0f5672ef61a60f 100644 (file)
--- a/src/llmain.c
+++ b/src/llmain.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

diff --git a/src/lltok.c b/src/lltok.c
index 1d19d4c60ca47f8cca44d0dcfc4f5ef9fbc896e9..0ae456861132093ecbd89426ae2bee4aecebf131 100644 (file)
--- a/src/lltok.c
+++ b/src/lltok.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

diff --git a/src/loopHeuristics.c b/src/loopHeuristics.c
index 3d926af931748cdffc6bba45e6a3307aa583c824..1507ba3858feb2d3c36916da48e99f9bcd4977e8 100644 (file)
--- a/src/loopHeuristics.c
+++ b/src/loopHeuristics.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

diff --git a/src/lslOpList.c b/src/lslOpList.c
index b662c1dcfc38d59224503f3a840c31c53ebb7169..fde38b8922a48a20b7b067376531624943f22ef4 100644 (file)
--- a/src/lslOpList.c
+++ b/src/lslOpList.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

diff --git a/src/lslOpSet.c b/src/lslOpSet.c
index b0c3dc0c4e8bb9d7b4f474d0020879accd851601..cba843e0a0d6ee858870c004aa644de6c97abe38 100644 (file)
--- a/src/lslOpSet.c
+++ b/src/lslOpSet.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

diff --git a/src/lslinit.c b/src/lslinit.c
index 3cb7301e0805483319a2f994e4e2c1c88bc2c0eb..d80d7611b8ace27985aabda9519ec55f44508e15 100644 (file)
--- a/src/lslinit.c
+++ b/src/lslinit.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

diff --git a/src/lslparse.c b/src/lslparse.c
index 9f7b3af77d1f42bfc5814fdd4c31a4e2e9b2f35c..30efe8af13cbc2e8b29f97a19be6cf4d9a3779ab 100644 (file)
--- a/src/lslparse.c
+++ b/src/lslparse.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

diff --git a/src/lsymbol.c b/src/lsymbol.c
index 1eca24ffe4418f501fe15b885caaf87a5e73c112..2d1fe015aa92142238a83c453e9d192c7c3541f8 100644 (file)
--- a/src/lsymbol.c
+++ b/src/lsymbol.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

diff --git a/src/lsymbolList.c b/src/lsymbolList.c
index 4e65c4ed7110533292decb15f17c50f2a71c9278..6a42ebdfde489354176eeb10388cdb9bc57ebcb0 100644 (file)
--- a/src/lsymbolList.c
+++ b/src/lsymbolList.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

diff --git a/src/lsymbolSet.c b/src/lsymbolSet.c
index 894f9867ece688ccce19cb09cb1d80f19fc8e17e..70209184d0dcc574dac831c9d523081c59cbef09 100644 (file)
--- a/src/lsymbolSet.c
+++ b/src/lsymbolSet.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

diff --git a/src/ltoken.c b/src/ltoken.c
index 90d8a393a5d980b5682e8279a327a9713703434c..8136819572495b1e7f2f627ea62834d3ba4da099 100644 (file)
--- a/src/ltoken.c
+++ b/src/ltoken.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

diff --git a/src/ltokenList.c b/src/ltokenList.c
index ea7c60a51a86426b8d2d0abe9e69cd11bda7d0f1..96dae70615a9a4721ab6f7709b039bb1538719fa 100644 (file)
--- a/src/ltokenList.c
+++ b/src/ltokenList.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

diff --git a/src/macrocache.c b/src/macrocache.c
index 027eb52aefd6041732ed48a27c9b0557e8865b31..0991baae9bdfd957b38e800fec9d50c670aeb342 100644 (file)
--- a/src/macrocache.c
+++ b/src/macrocache.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

diff --git a/src/mapping.c b/src/mapping.c
index 64f727689513c328af1b00d616f1154da6dabc0d..881a260f81f1286bf384c856942ec661909289f0 100644 (file)
--- a/src/mapping.c
+++ b/src/mapping.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

diff --git a/src/message.c b/src/message.c
index de50dab5c86bdfd7bd9eeb27385850f65d8fd94e..1c9c2313fe57965954a5e50e2177653e1ed6c653 100644 (file)
--- a/src/message.c
+++ b/src/message.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

diff --git a/src/messageLog.c b/src/messageLog.c
index 15254925631cf653ca6ea7b3d392870850bea886..b5db2e3cfe99214d440de225703a23128bebe898 100644 (file)
--- a/src/messageLog.c
+++ b/src/messageLog.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

diff --git a/src/metaStateConstraint.c b/src/metaStateConstraint.c
index 31896e6cf3b805ee7466dfbd8a19e103a5d041b7..d5f4acc6193a4530c4526dd7bc3010378728b84f 100644 (file)
--- a/src/metaStateConstraint.c
+++ b/src/metaStateConstraint.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

diff --git a/src/metaStateConstraintList.c b/src/metaStateConstraintList.c
index 91aa0398a7bf00285e5177a5d3ebb01990796ea6..a927ebe5230ed68b4647fb4390cc6ffb0ca47723 100644 (file)
--- a/src/metaStateConstraintList.c
+++ b/src/metaStateConstraintList.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

diff --git a/src/metaStateExpression.c b/src/metaStateExpression.c
index 7da49ecc15bfa5aaee83f195898d97bc6e56873e..5d929552eb030f96223e738b3822d5393b933738 100644 (file)
--- a/src/metaStateExpression.c
+++ b/src/metaStateExpression.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

diff --git a/src/metaStateInfo.c b/src/metaStateInfo.c
index 18fbc2577988049b6101ebe01143eec15e79bf06..a35c52d0be53fe7ba7d4f95fc128a56a5944da50 100644 (file)
--- a/src/metaStateInfo.c
+++ b/src/metaStateInfo.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

diff --git a/src/metaStateSpecifier.c b/src/metaStateSpecifier.c
index e8f8a1a9b56e85e3fc17334323e3faf2fbcd095d..7e4151788044cd229add4a6733dafcf981c7164d 100644 (file)
--- a/src/metaStateSpecifier.c
+++ b/src/metaStateSpecifier.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

diff --git a/src/metaStateTable.c b/src/metaStateTable.c
index c2eab7e12aff6f2874b28754af9f33a7d0f703ec..d969353952423da3ed2bf8bffbdc5d418f716775 100644 (file)
--- a/src/metaStateTable.c
+++ b/src/metaStateTable.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

diff --git a/src/modifiesClause.c b/src/modifiesClause.c
index 12e15d59bdafaca95484ed3f80f81662e225c6cc..0694556fc1b963e3147e77def1025d18c7037795 100644 (file)
--- a/src/modifiesClause.c
+++ b/src/modifiesClause.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

diff --git a/src/mtAnnotationDecl.c b/src/mtAnnotationDecl.c
index 4f1b66991a9971888c76b83c7f76f07b9682963c..cdb3587acd1b065608499fee42af74ecb118fd75 100644 (file)
--- a/src/mtAnnotationDecl.c
+++ b/src/mtAnnotationDecl.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

diff --git a/src/mtAnnotationList.c b/src/mtAnnotationList.c
index a066349bc6f6d790e2233c383eb6674962559134..b2afaea8ecf082a1415bbad13fca6f05bd2c760b 100644 (file)
--- a/src/mtAnnotationList.c
+++ b/src/mtAnnotationList.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

diff --git a/src/mtAnnotationsNode.c b/src/mtAnnotationsNode.c
index b806566696610fc3cbc2b019ab74926f9ede5b7f..b63f7d7fad2eb52238a6126eb2f7485a2d1b073e 100644 (file)
--- a/src/mtAnnotationsNode.c
+++ b/src/mtAnnotationsNode.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

diff --git a/src/mtContextNode.c b/src/mtContextNode.c
index 4cc6e9ed2faf930836e01a783a18156beb54e2c9..82dff5c305e05bc2b60f0a37b81cd7cc8599e628 100644 (file)
--- a/src/mtContextNode.c
+++ b/src/mtContextNode.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

diff --git a/src/mtDeclarationNode.c b/src/mtDeclarationNode.c
index 9ac26f1ffd55ae2b8d31bf187ad44cb49b24a1c7..e9cecbf68f2542fc6224319a01a0f3e1839c80aa 100644 (file)
--- a/src/mtDeclarationNode.c
+++ b/src/mtDeclarationNode.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

diff --git a/src/mtDeclarationPiece.c b/src/mtDeclarationPiece.c
index ca583bc64bbc40b264ae7458632c1d1d38f6fd2b..fa104ab5185e17955650879770a49682d98989f5 100644 (file)
--- a/src/mtDeclarationPiece.c
+++ b/src/mtDeclarationPiece.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

diff --git a/src/mtDeclarationPieces.c b/src/mtDeclarationPieces.c
index a004da1dcaf318a85cfa6219ce6a3405c5a5c2e5..694a0f84604da4f75597539e42625d89bdeb53d4 100644 (file)
--- a/src/mtDeclarationPieces.c
+++ b/src/mtDeclarationPieces.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

diff --git a/src/mtDefaultsDecl.c b/src/mtDefaultsDecl.c
index ca73bffeec6e889447bdef10e9fe5e4823a15349..b8dd6bd93c4289b8b487329c75e45e0761b96132 100644 (file)
--- a/src/mtDefaultsDecl.c
+++ b/src/mtDefaultsDecl.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

diff --git a/src/mtDefaultsDeclList.c b/src/mtDefaultsDeclList.c
index f782f50b404bc2bcb888439ce79e2b60d507d816..db657d7d3d3af362800c486ca8e1b0851ba6afcc 100644 (file)
--- a/src/mtDefaultsDeclList.c
+++ b/src/mtDefaultsDeclList.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

diff --git a/src/mtDefaultsNode.c b/src/mtDefaultsNode.c
index e93048651d525542fec26b6b2ea5f073831ba931..8cd8b12884aae82b7e6fc8fc1b8c7ee8511bc16e 100644 (file)
--- a/src/mtDefaultsNode.c
+++ b/src/mtDefaultsNode.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

diff --git a/src/mtLoseReference.c b/src/mtLoseReference.c
index 40e26ec8b48c54f28a6a96ee2abba8085217ff7b..93b25acb8f25a8989a13b96be68e3ddc3f1ae779 100644 (file)
--- a/src/mtLoseReference.c
+++ b/src/mtLoseReference.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

diff --git a/src/mtLoseReferenceList.c b/src/mtLoseReferenceList.c
index ced1f5ed5de2ead27bc5085d0b0b61c4ab8ebf16..20bb914ce65bf14e7066e9dfb67ea00d52e780d2 100644 (file)
--- a/src/mtLoseReferenceList.c
+++ b/src/mtLoseReferenceList.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

diff --git a/src/mtMergeClause.c b/src/mtMergeClause.c
index 2b579dec080a078d04f21c3d5232a3201b7e2680..8fb1373307a471776f65811ff823a25652cbc152 100644 (file)
--- a/src/mtMergeClause.c
+++ b/src/mtMergeClause.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

diff --git a/src/mtMergeClauseList.c b/src/mtMergeClauseList.c
index bbb5d31bf49c58d0b64e92b8575ab84a124b45da..faf249bb1169d09006816d622b3df2404bbc94d3 100644 (file)
--- a/src/mtMergeClauseList.c
+++ b/src/mtMergeClauseList.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

diff --git a/src/mtMergeItem.c b/src/mtMergeItem.c
index 66ab19fc5fedc8fa8027c21e1527624f9145475d..ad829dbc18c8d4876b504f33a5209ed3bf99c82d 100644 (file)
--- a/src/mtMergeItem.c
+++ b/src/mtMergeItem.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

diff --git a/src/mtMergeNode.c b/src/mtMergeNode.c
index f4a3ec2df58891a8611dc891ce83840f5010eee9..570310bc3f8afcd872cf12e372824bca077c79ec 100644 (file)
--- a/src/mtMergeNode.c
+++ b/src/mtMergeNode.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

diff --git a/src/mtTransferAction.c b/src/mtTransferAction.c
index 466d8556357b05de28467fa9fc1cad3750495771..a28343aea1a8e038092ef90679921ad487cde37a 100644 (file)
--- a/src/mtTransferAction.c
+++ b/src/mtTransferAction.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

diff --git a/src/mtTransferClause.c b/src/mtTransferClause.c
index 7ba350d65c5e5685e2b8b1807d9a80cba05ddcec..d738734f1c8ba9063d136a916bdc5d84a540b4b5 100644 (file)
--- a/src/mtTransferClause.c
+++ b/src/mtTransferClause.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

diff --git a/src/mtTransferClauseList.c b/src/mtTransferClauseList.c
index c9a947bdcf2671a1579ece69cbf19f1e021aeda8..62b26d72f8739dcece8bd46535be4a6a04e9bde4 100644 (file)
--- a/src/mtTransferClauseList.c
+++ b/src/mtTransferClauseList.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

diff --git a/src/mtValuesNode.c b/src/mtValuesNode.c
index d8c2a61b1c7a8d6b3046dc307d7aa47bc5f985eb..ec529c79c48e3b257a3fe5c334de8d799999a38b 100644 (file)
--- a/src/mtValuesNode.c
+++ b/src/mtValuesNode.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

diff --git a/src/mtgrammar.y b/src/mtgrammar.y
index 72d61898091bed3c67a774cdf292f98962761dc3..bf4e435adb11eec505a9f250f4175e74838fead6 100644 (file)
--- a/src/mtgrammar.y
+++ b/src/mtgrammar.y
@@ -1,6 +1,6 @@
 /*;-*-C-*-;
 ** 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

diff --git a/src/mtreader.c b/src/mtreader.c
index cd27617120428bafdb22e4337767d3c1aff377ca..3eaf42d8ee73216e029a431b023078bae942733b 100644 (file)
--- a/src/mtreader.c
+++ b/src/mtreader.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

diff --git a/src/mtscanner.c b/src/mtscanner.c
index 3f3d8b33232c45f30e7c142428f0c83d31d1a20e..d352c65f193f72ac485294f0a2eebddf7ba03def 100644 (file)
--- a/src/mtscanner.c
+++ b/src/mtscanner.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

diff --git a/src/mttok.c b/src/mttok.c
index 20d02eb7dc40454ec5fbe306eadaded96cdad2e7..b8739bb340cc842c720e460dca0ae792d2981f46 100644 (file)
--- a/src/mttok.c
+++ b/src/mttok.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

diff --git a/src/multiVal.c b/src/multiVal.c
index 5b9a2b0a8238c9ef9317796ddb7174edda5be57c..96e79db571d9c2752e876f0147f726e8928e9710 100644 (file)
--- a/src/multiVal.c
+++ b/src/multiVal.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

diff --git a/src/nameChecks.c b/src/nameChecks.c
index f78a6d16488f97e43bb5ed42784f76b7c0059f8a..adbb2b0ebe4d4ba8cd01cb10d51801d8cdc7511c 100644 (file)
--- a/src/nameChecks.c
+++ b/src/nameChecks.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

diff --git a/src/osd.c b/src/osd.c
index 047bb7e7342a49d1c8da18d6e4ca53436a9b5326..3716f303a7c717d47741498d2903ed62f7d40742 100644 (file)
--- a/src/osd.c
+++ b/src/osd.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

diff --git a/src/pairNodeList.c b/src/pairNodeList.c
index f2c430ac6c029f0be4f582a668e9ed4bdf7c657c..c390407a8df53f191c4dad05e8051c403ea23fdd 100644 (file)
--- a/src/pairNodeList.c
+++ b/src/pairNodeList.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

diff --git a/src/paramNodeList.c b/src/paramNodeList.c
index b802a68a6c9d20404f1fb1a93266ed6c4ca29998..6516fd2aa8adf8e18a98c18fb4de83aa832ee819 100644 (file)
--- a/src/paramNodeList.c
+++ b/src/paramNodeList.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

diff --git a/src/pointers.c b/src/pointers.c
index b55635463e9b0538e86306f551a79649442806cf..1580f9db82a8c4bf1753adc262b764fa9171077c 100644 (file)
--- a/src/pointers.c
+++ b/src/pointers.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

diff --git a/src/programNodeList.c b/src/programNodeList.c
index fcf3d1aed7f35a791d7f84f56d27649523a44556..b5617f87026f177f88c32035ada41b796729ddbf 100644 (file)
--- a/src/programNodeList.c
+++ b/src/programNodeList.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

diff --git a/src/qtype.c b/src/qtype.c
index 9762a1e7dfae7c5906ef8a82ed04445e6a452ed0..beef293460b4cf7affac452e729f2af70c9bdc78 100644 (file)
--- a/src/qtype.c
+++ b/src/qtype.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

diff --git a/src/qual.c b/src/qual.c
index 843aab1fb362f001642bf5e1a1b5eba0f7315f85..855a13f7cbbe303e6709f0ea253e0ae0f4cd033a 100644 (file)
--- a/src/qual.c
+++ b/src/qual.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

diff --git a/src/qualList.c b/src/qualList.c
index 3711bcb04486e7eaece593ddff1058cba7b4001b..f7039aff6a842384c8fb15b3f5585abb8f9a51e2 100644 (file)
--- a/src/qualList.c
+++ b/src/qualList.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

diff --git a/src/quantifierNodeList.c b/src/quantifierNodeList.c
index d24303ad5164db78c2e83a60d5def0299d8193a2..9289dc8771b52e546501a24f557280a0f7d4aeca 100644 (file)
--- a/src/quantifierNodeList.c
+++ b/src/quantifierNodeList.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

diff --git a/src/randomNumbers.c b/src/randomNumbers.c
index 25bbcc8c1876ca05b0f92ac9ca477c37cc7136d8..95655ab77fce4ddf456017936cf2c6eab1f32ea6 100644 (file)
--- a/src/randomNumbers.c
+++ b/src/randomNumbers.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

diff --git a/src/rcfiles.c b/src/rcfiles.c
index 343afe80f343db7e7e380fee3f99f46087a513c1..aff1aaab7037c913ec495ff3c1045373319a3adf 100644 (file)
--- a/src/rcfiles.c
+++ b/src/rcfiles.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

diff --git a/src/reader.c b/src/reader.c
index da08df790fc04b6471391cf749836f92452ec039..3c8c188a0a068ee6a976dc16acc499ef123b6f9f 100644 (file)
--- a/src/reader.c
+++ b/src/reader.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

diff --git a/src/replaceNodeList.c b/src/replaceNodeList.c
index d32008df118989f53f1f2e4956778d3a33879cd2..ee16481cb9140f467a29eec7959865282e69934a 100644 (file)
--- a/src/replaceNodeList.c
+++ b/src/replaceNodeList.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

diff --git a/src/sRef.c b/src/sRef.c
index 523329efc0a766f960c08a3cc72e05586e0ae84d..3aaf720bdbbc0a918e50ddb4b0e3416677e2384d 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.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

diff --git a/src/sRefList.c b/src/sRefList.c
index 3e110fc11491d6afd47803593a0c4e10cc2ecbf7..da5b54fdabe78b9df559f60a9cb43da507a6258d 100644 (file)
--- a/src/sRefList.c
+++ b/src/sRefList.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

diff --git a/src/sRefSet.c b/src/sRefSet.c
index e3fee4659a864be59593c8f3ea1403c1a215be7f..9fffe5f85be9d8713fa8e1d9a610f9b9c36f291e 100644 (file)
--- a/src/sRefSet.c
+++ b/src/sRefSet.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

diff --git a/src/sRefSetList.c b/src/sRefSetList.c
index d262b937189ff3906822070d1ec82528c13b0879..3e89bc65fa7cbaaa12079472cd152b86dfcc3a94 100644 (file)
--- a/src/sRefSetList.c
+++ b/src/sRefSetList.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

diff --git a/src/sRefTable.c b/src/sRefTable.c
index 737677361ad391189f23b311cc5e5032490c408b..292ab898b3671dee39fb7a7b2e976fd69fdf41d9 100644 (file)
--- a/src/sRefTable.c
+++ b/src/sRefTable.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

diff --git a/src/scan.c b/src/scan.c
index 833afa26a3a7affa9ec17e03c3d0a666b24c5d77..ebbbf3d979d89972885920ef4d8f64b1225eca0a 100644 (file)
--- a/src/scan.c
+++ b/src/scan.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

diff --git a/src/scanline.c b/src/scanline.c
index a9f8be6e2b766aed3563490c916acf5b97a3872f..392a4e1c5c60dc6ce9cb9b0c4b8ceec67b4e1f18 100644 (file)
--- a/src/scanline.c
+++ b/src/scanline.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

diff --git a/src/shift.c b/src/shift.c
index 4f7abafd1d1c9c0d3ebcccd5c8bb4544d7133393..ba3202edc5c0dc7e4fa6403168628736ff801448 100644 (file)
--- a/src/shift.c
+++ b/src/shift.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

diff --git a/src/sigNodeSet.c b/src/sigNodeSet.c
index 26e17a7f89bd44a7e552fd8eccf5d84f3439437f..e7f55d767bf39b14c0985ce5c8ca6ee8e60fa42c 100644 (file)
--- a/src/sigNodeSet.c
+++ b/src/sigNodeSet.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

diff --git a/src/signature.y b/src/signature.y
index cebd7dd9ccd83382c0c288652b4c049196a87557..107e6b343bf5f86022b5cdd81e6c1b5b5f7045c7 100644 (file)
--- a/src/signature.y
+++ b/src/signature.y
@@ -1,6 +1,6 @@
 /*;-*-C-*-;
 ** 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

diff --git a/src/sort.c b/src/sort.c
index cb8193c95003b0ba71243a91fe764e1af1a40259..119673872b89ea0c845ee5f2af43c2c3410a68d8 100644 (file)
--- a/src/sort.c
+++ b/src/sort.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

diff --git a/src/sortList.c b/src/sortList.c
index 48b508f9d9b676d4368d08974c150f1e45c6ff56..8b196b47fa472538e4191347b961176c93f7d389 100644 (file)
--- a/src/sortList.c
+++ b/src/sortList.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

diff --git a/src/sortSet.c b/src/sortSet.c
index 6bf9f2f7fc4e5cd7df3b1f573606e9c28b80ff49..95ad972d0a2572577167baf8dfb2b3faf5f6c551 100644 (file)
--- 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

diff --git a/src/sortSetList.c b/src/sortSetList.c
index 034571c9cd3f78080b68aa08dd9ac938d93ba2a1..76536d6eaa4ba95265eb34b047e502f2a50e2dc5 100644 (file)
--- a/src/sortSetList.c
+++ b/src/sortSetList.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

diff --git a/src/stDeclNodeList.c b/src/stDeclNodeList.c
index 28439580ccc7667dd8027c189647e54c45f131c1..2b7ebd3debb85af8a86423c9b92d99846bffea49 100644 (file)
--- a/src/stDeclNodeList.c
+++ b/src/stDeclNodeList.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

diff --git a/src/stateClause.c b/src/stateClause.c
index a53c239c9510a039dcc24414dc2fe11e550a586e..26009b4059918f8a28d9feb9993e057d4d7e2e33 100644 (file)
--- a/src/stateClause.c
+++ b/src/stateClause.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

diff --git a/src/stateClauseList.c b/src/stateClauseList.c
index b6c20c57cf134a90065d2a8d29229c55bf2aecc1..1c01941c3bcd8f2391525d3cb6a4a57689db50b2 100644 (file)
--- a/src/stateClauseList.c
+++ b/src/stateClauseList.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

diff --git a/src/stateCombinationTable.c b/src/stateCombinationTable.c
index 60d8e0c716fcfe3b285b5b2a7ec078bec25405db..c116129cddee67ff314b31ec01e14375d3dad650 100644 (file)
--- a/src/stateCombinationTable.c
+++ b/src/stateCombinationTable.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

diff --git a/src/stateInfo.c b/src/stateInfo.c
index 01e213b6eca7ce1dbadd61dea601ca1686146153..b2fad5cfff22c82f40d92100a8b3fe6b2f6a98e3 100644 (file)
--- a/src/stateInfo.c
+++ b/src/stateInfo.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

diff --git a/src/stateValue.c b/src/stateValue.c
index 61ea45b439b2a7b3255ad97026031a27da623290..9c357d83b323720581dddac636b5e3c83ce6d562 100644 (file)
--- a/src/stateValue.c
+++ b/src/stateValue.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

diff --git a/src/storeRefNodeList.c b/src/storeRefNodeList.c
index 46c99dd707501009fa0160b529b14b268066ab40..1fce3133d93affc19a6ee5f113f9e12ec895e089 100644 (file)
--- a/src/storeRefNodeList.c
+++ b/src/storeRefNodeList.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

diff --git a/src/structNames.c b/src/structNames.c
index 3c09e826cafbc463990d5ed87f9274867870e363..64a4075e65475f0706bef61e9e895e55fddffb4a 100644 (file)
--- a/src/structNames.c
+++ b/src/structNames.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

diff --git a/src/symtable.c b/src/symtable.c
index 94778bb1c66d372b3c97dae6bca1248768a44fef..7f026fdaab505a6087be86d64ef4cd69128678e2 100644 (file)
--- a/src/symtable.c
+++ b/src/symtable.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

diff --git a/src/syntable.c b/src/syntable.c
index 3d7d5dbb39120c4b011aabe7e401cbdc1bf8f937..08ef96555baf18b7b2daefd7f8cf72a69cee65c2 100644 (file)
--- a/src/syntable.c
+++ b/src/syntable.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

diff --git a/src/termNodeList.c b/src/termNodeList.c
index e781c7490da5d9f2d96166e2dd054d0affc31314..b7c4ca216e9d70540bac9481c96ea7cae574a768 100644 (file)
--- a/src/termNodeList.c
+++ b/src/termNodeList.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

diff --git a/src/tokentable.c b/src/tokentable.c
index dbf231dfc0519aec5549dbeaf457572655550948..ecc2e1971124e819f07bc6c662288e43c5645128 100644 (file)
--- a/src/tokentable.c
+++ b/src/tokentable.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

diff --git a/src/traitRefNodeList.c b/src/traitRefNodeList.c
index 94c69e2380a7b8eff783d531fc0c4ea7b3ff8ea1..88a8bddbf6da7ba424ccbcabf99c1d80d4d876c3 100644 (file)
--- a/src/traitRefNodeList.c
+++ b/src/traitRefNodeList.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

diff --git a/src/transferChecks.c b/src/transferChecks.c
index 4efa027c664fc8b2e3cb38b3091414d6e3fb09fb..bc4c8c959d5b6a78919cc341ff810e838ac8c978 100644 (file)
--- a/src/transferChecks.c
+++ b/src/transferChecks.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

diff --git a/src/typeIdSet.c b/src/typeIdSet.c
index 473bd9790eb29331c4841dd97486213fa5db765e..ce35afd72facd412c4d1a0c7e288905ae21882c2 100644 (file)
--- a/src/typeIdSet.c
+++ b/src/typeIdSet.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

diff --git a/src/typeNameNodeList.c b/src/typeNameNodeList.c
index 8e1f0ccb3b7d311ff002817cd81b9d9a36fc26af..42b11d4b2af105951aae3b4f2252b911cee03d1f 100644 (file)
--- a/src/typeNameNodeList.c
+++ b/src/typeNameNodeList.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

diff --git a/src/uentry.c b/src/uentry.c
index 669b6cf043a540d60af829af8ce94afcde33b150..0f5fb176072ea0bbd1fbed114be3fa566f7d70bb 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.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

diff --git a/src/uentryList.c b/src/uentryList.c
index 96951d631248e8aa46ae8088da90ead99abddf52..975f2a060098527d5ececd92e6d3bc2e669cab59 100644 (file)
--- a/src/uentryList.c
+++ b/src/uentryList.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

diff --git a/src/usymIdSet.c b/src/usymIdSet.c
index 07e136c00f80bcecf5947191db54b9eb35fdeee6..0998c594d00f1dcf1bcca75b255f08677f85915c 100644 (file)
--- a/src/usymIdSet.c
+++ b/src/usymIdSet.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

diff --git a/src/usymtab.c b/src/usymtab.c
index 555a1b9dd7aa1e137ce99d808bfa3382df0b1446..58174be88d7580e09c2bc539207b742c9d64ba1f 100644 (file)
--- a/src/usymtab.c
+++ b/src/usymtab.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

diff --git a/src/usymtab_interface.c b/src/usymtab_interface.c
index 2ce488d9c847d1c4f693dbb184f31b9d1a1935d8..9509586491d4b59b7306c93e7ed8bae02c0bcea5 100644 (file)
--- a/src/usymtab_interface.c
+++ b/src/usymtab_interface.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

diff --git a/src/valueTable.c b/src/valueTable.c
index b86d823aab7f7447f8dc73762967e2cee6a9d758..c9f20864662618229b05d650023d7a99c42fdbb0 100644 (file)
--- a/src/valueTable.c
+++ b/src/valueTable.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

diff --git a/src/varDeclarationNodeList.c b/src/varDeclarationNodeList.c
index 4478620aabe9d8bcf4a460021455f35d0a3699c4..b81d433f0b8241a12cb6d5e6168fca7c5657989e 100644 (file)
--- a/src/varDeclarationNodeList.c
+++ b/src/varDeclarationNodeList.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

diff --git a/src/varKinds.c b/src/varKinds.c
index f708b70345238264d09de8267732ec297deb82a2..bf1bb08274c7da53c6a59ec6939d093d570deb9e 100644 (file)
--- a/src/varKinds.c
+++ b/src/varKinds.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

diff --git a/src/varNodeList.c b/src/varNodeList.c
index 4f858ff90727aa51cc96426c76485ef8fc2be6a8..d7c21e9e249805624d2ef24c1af152065938cbac 100644 (file)
--- a/src/varNodeList.c
+++ b/src/varNodeList.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

diff --git a/src/warnClause.c b/src/warnClause.c
index 1577a141b72df2a123bffd2c64f1a4ef4db56f6e..38ff5ba9dc36260f232c5bd5181b2cadf9836fc8 100644 (file)
--- a/src/warnClause.c
+++ b/src/warnClause.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

diff --git a/src/ynm.c b/src/ynm.c
index f03efbc878e4218d380dadde55f0335c70ab7b56..b9c74455c5818501ff6c6f0a1a3e010d08198ce0 100644 (file)
--- a/src/ynm.c
+++ b/src/ynm.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