diff src/user-prefs.cc @ 1121:46619c5ca048

[project @ 1995-02-17 15:45:07 by jwe]
author jwe
date Fri, 17 Feb 1995 15:45:26 +0000
parents 0e2974c1cc37
children b6360f2d4fa6
line wrap: on
line diff
--- a/src/user-prefs.cc	Thu Feb 16 05:44:22 1995 +0000
+++ b/src/user-prefs.cc	Fri Feb 17 15:45:26 1995 +0000
@@ -704,7 +704,7 @@
   if (s)
     {
       delete [] user_pref.loadpath;
-      user_pref.loadpath = s;
+      user_pref.loadpath = maybe_add_default_load_path (s);
     }
   else
     {