/*@-constmacros@*/
-/* The directory where LCLint's library files live */
-#define DEFAULT_LARCHPATH ".:/usr/local/share/lclint/lib:/tmp/LCLintDev/lib:"
+/* The directory where Splint's library files live */
+#define DEFAULT_LARCHPATH ".:/usr/local/share/splint/lib:/af10/evans/LCLintDev/lib:"
-/* LCLint's imports directory */
-#define DEFAULT_LCLIMPORTDIR ".:/usr/local/share/lclint/imports:/tmp/LCLintDev/imports"
+/* Splint's imports directory */
+#define DEFAULT_LCLIMPORTDIR ".:/usr/local/share/splint/imports:/af10/evans/LCLintDev/imports"
/* gcc's private include directory */
#define GCC_INCLUDE_DIR "/usr/lib/gcc-lib/i386-linux/2.7.2.1/include"
#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 matthews.cs.Virginia.EDU 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 paisley 2.4.9-12 #1 Tue Oct 30 18:33:49 EST 2001 i686 unknown by evans"
-/* LCLint's version number */
-#define LCL_PARSE_VERSION "LCLint 3.0.0.19"
+/* Splint's version number */
+#define LCL_PARSE_VERSION "Splint 3.0.0.20"
-/* LCLint's version number and release date */
-#define LCL_VERSION "LCLint 3.0.0.19 --- 5 October 2001"
+/* Splint's version number and release date */
+#define LCL_VERSION "Splint 3.0.0.20 --- 5 October 2001"
/* Define to disable support LCL files */
/* #undef NOLCL */