*** empty log message ***

[splint.git] / src / Headers / local_constants.last

diff --git a/src/Headers/local_constants.last b/src/Headers/local_constants.last
index 10717715308b4e8eeef7b9afc54e642c5cc6bc16..73e13fc02ff2ff0ec28919e4f5adc9cc5c4dac80 100644 (file)
--- a/src/Headers/local_constants.last
+++ b/src/Headers/local_constants.last
@@ -2,6 +2,6 @@
 /*@constant observer char *SYSTEM_LIBDIR;@*/
 # define SYSTEM_LIBDIR "/usr/include"
 /*@constant observer char *DEFAULT_LARCHPATH;@*/
-# define DEFAULT_LARCHPATH ".:/home/drl7x/LCLintDev/lib"
+# define DEFAULT_LARCHPATH ".:/af9/drl7x/re3/LCLintDev/lib"
 /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR "/home/drl7x/LCLintDev/imports"
+# define DEFAULT_LCLIMPORTDIR "/af9/drl7x/re3/LCLintDev/imports"