Pushed back constraintResolve.c to the previous version.

[splint.git] / src / ctbase.i

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