*** empty log message ***

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

diff --git a/src/Headers/local_constants.h b/src/Headers/local_constants.h
index b9dad2cffde63eb35bef3c70f766e7ff4ad445ce..d47fd5eaa9b331a57d5642df3d52b9aae87e6e5a 100644 (file)
--- 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 ".:/a/apollo/af9/drl7x/new/LCLintDev/lib"
+# define DEFAULT_LARCHPATH ".:/tmp/dave/LCLintDev/lib"
 /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR "/a/apollo/af9/drl7x/new/LCLintDev/imports"
+# define DEFAULT_LCLIMPORTDIR "/tmp/dave/LCLintDev/imports"