diff src/input.cc @ 5872:44f24cf66b95

[project @ 2006-06-30 18:19:20 by jwe]
author jwe
date Fri, 30 Jun 2006 18:19:42 +0000
parents 5e41e06f6a78
children cb8c62c78b42
line wrap: on
line diff
--- a/src/input.cc	Fri Jun 30 16:48:40 2006 +0000
+++ b/src/input.cc	Fri Jun 30 18:19:42 2006 +0000
@@ -1042,7 +1042,7 @@
     command_editor::read_init_file ();
   else if (nargin == 1)
     {
-      std::string file = file_ops::tilde_expand (args(0).string_value ());
+      std::string file = args(0).string_value ();
 
       if (! error_state)
 	command_editor::read_init_file (file);