]> andersk Git - splint.git/blobdiff - src/Headers/quantifierNodeList.h
noexpand always false.
[splint.git] / src / Headers / quantifierNodeList.h
index 6d1b322d7ab13dd9c696e43546e34d49c40880eb..b178f81c9026ea2d00d848c7462eb4be301d496d 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.029135 seconds and 4 git commands to generate.