X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6fa9e405c310047d86ef876cd5f65eaecd40bda1..ed62d3fbeda6bb085991cdd683ceacfc57f7afbe:/winconfig.h

diff --git a/winconfig.h b/winconfig.h
index 1240d5e..d424d5c 100644
--- a/winconfig.h
+++ b/winconfig.h
@@ -4,10 +4,10 @@
 /*@-constmacros@*/
 
 /* The directory where Splint's library files live */
-#define DEFAULT_LARCHPATH ".;C:/splint-3.0.1/lib"
+#define DEFAULT_LARCHPATH ".;C:/splint/lib"
 
 /* Splint's imports directory */
-#define DEFAULT_LCLIMPORTDIR ".;C:/splint-3.0.1/imports"
+#define DEFAULT_LCLIMPORTDIR ".;C:/splint/imports"
 
 /* system include directory */
 #define GCC_INCLUDE_DIR "C:/include"
@@ -16,19 +16,19 @@
 #define GCC_INCLUDE_DIR2 "C:/local/include"
 
 #define TARGET_CPU "x86"
-#define UNAME "WIN32"
+#define UNAME "WIN32"
 
 /* String describing who compiled this binary and how */
-#define LCL_COMPILE "Compiled using Microsoft Visual C++ 6.0"
+#define LCL_COMPILE "Compiled using Microsoft Visual C++ 7.0"
 
 /* Splint's version number */
-#define LCL_PARSE_VERSION "Splint 3.0.1.1"
+#define LCL_PARSE_VERSION "Splint 3.1.0"
 
 /* Define to disable support LCL files */
 /* #undef NOLCL */
 
 /* Splint's version number and configure/build date */
-#define SPLINT_VERSION "Splint 3.0.1.1 --- 08 Jan 2002"
+#define SPLINT_VERSION "Splint 3.1.0 --- 20 Apr 2003"
 
 /* The system's main include directory */
 #define SYSTEM_LIBDIR "C:/include"