X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/03d670b689457f045987972826e570fb1e89c915..15b3d2b27a3dce7a3b65e88fb0d1732e235117f4:/src/Headers/local_constants.h

diff --git a/src/Headers/local_constants.h b/src/Headers/local_constants.h
index 73e13fc..c4c3a88 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 ".:/af9/drl7x/re3/LCLintDev/lib"
+# define DEFAULT_LARCHPATH "/usr/local/lclint-2.5m/lib"
 /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR "/af9/drl7x/re3/LCLintDev/imports"
+# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint-2.5m/imports"