changeset 1751:fc59af7ea536

[project @ 1996-01-13 09:37:31 by jwe]
author jwe
date Sat, 13 Jan 1996 09:37:31 +0000
parents fd0d12493223
children fdb963e9efff
files src/toplev.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/toplev.cc	Sat Jan 13 09:31:07 1996 +0000
+++ b/src/toplev.cc	Sat Jan 13 09:37:31 1996 +0000
@@ -243,7 +243,7 @@
 	  parse_and_execute (file, 1, 0, "source");
 
 	  if (error_state)
-	    error ("source: error sourcing file `%s'", file);
+	    error ("source: error sourcing file `%s'", file.c_str ());
 	}
       else
 	error ("source: expecting file name as argument");