]> andersk Git - splint.git/blobdiff - src/Headers/quantifiedTermNode.h
Fix tracker issue 1837229.
[splint.git] / src / Headers / quantifiedTermNode.h
index 04cf636fd4c2eb9cbb960d42ea605cc197f0c33b..d217a3ae08ea2c419e24123ecc9ff95c48f017dd 100644 (file)
@@ -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.
 **
 */
This page took 0.035758 seconds and 4 git commands to generate.