# HG changeset patch
# User jwe
# Date 821525851 0
# Node ID fc59af7ea5364de17a09b52e3a153c6a94e83822
# Parent  fd0d124932234f9f5c0bcd3d1b31d704cadc3697
[project @ 1996-01-13 09:37:31 by jwe]

diff --git a/src/toplev.cc b/src/toplev.cc
--- a/src/toplev.cc
+++ b/src/toplev.cc
@@ -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");