additional buffer checking annotations

[splint.git] / config.h

diff --git a/config.h b/config.h
index 12b2a4fdc71766669572ca2203c839fc4783352b..8261f63cb47c56570e441df26ee5d3a812ff3542 100644 (file)
--- a/config.h
+++ b/config.h
@@ -16,7 +16,7 @@
 #define GCC_INCLUDE_DIR2 "/usr/local/include"
 
 /* String describing who compiled this binary and how */
-#define LCL_COMPILE "Compiled using gcc -g -O2 on Linux paisley 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by drl7x"
+#define LCL_COMPILE "Compiled using gcc -g -O2 on Linux matthews.cs.Virginia.EDU 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by drl7x"
 
 /* LCLint's version number */
 #define LCL_PARSE_VERSION "LCLint 3.0.0.19"