X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e26e911c1e825f5a84750350cc061559ffcfc2ee..fbace05a14b7c280f739ce695db441e48acc8975:/src/Headers/local_constants.h

diff --git a/src/Headers/local_constants.h b/src/Headers/local_constants.h
index c4c3a88..59668c3 100644
--- a/src/Headers/local_constants.h
+++ b/src/Headers/local_constants.h
@@ -2,6 +2,6 @@
 /*@constant observer char *SYSTEM_LIBDIR;@*/
 # define SYSTEM_LIBDIR "/usr/include"
 /*@constant observer char *DEFAULT_LARCHPATH;@*/
-# define DEFAULT_LARCHPATH "/usr/local/lclint-2.5m/lib"
+# define DEFAULT_LARCHPATH "/usr/local/lclint/lib"
 /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint-2.5m/imports"
+# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint/imports"