changeset 1760:b86d76c3c0dd

[project @ 1996-01-22 06:10:51 by jwe]
author jwe
date Mon, 22 Jan 1996 06:11:32 +0000
parents e7e53b58b179
children 2b890f1b5a2d
files src/pager.cc src/pager.h
diffstat 2 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/pager.cc	Mon Jan 22 05:32:08 1996 +0000
+++ b/src/pager.cc	Mon Jan 22 06:11:32 1996 +0000
@@ -206,7 +206,7 @@
 }
 
 void
-maybe_write_to_diary_file (const char *s)
+maybe_write_to_diary_file (const string& s)
 {
   if (write_to_diary_file && diary_stream)
     diary_stream << s;
--- a/src/pager.h	Mon Jan 22 05:32:08 1996 +0000
+++ b/src/pager.h	Mon Jan 22 06:11:32 1996 +0000
@@ -26,6 +26,8 @@
 
 class ostrstream;
 
+#include <string>
+
 extern char *get_pager (void);
 extern int terminal_columns (void);
 extern int terminal_rows (void);
@@ -34,7 +36,7 @@
 extern void flush_output_to_pager (void);
 
 extern void close_diary_file (void);
-extern void maybe_write_to_diary_file (const char *s);
+extern void maybe_write_to_diary_file (const string& s);
 
 #endif