X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/155af98de2d41917730964947d990b7fb70ddc01..35b9a1d988c06908076e3a6eeae55b1147879607:/src/guardSet.c diff --git a/src/guardSet.c b/src/guardSet.c index f8ab23f..a21f824 100644 --- 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