# HG changeset patch
# User jwe
# Date 822291092 0
# Node ID b86d76c3c0ddebd4f269ef35e0dc37273c3f3e8b
# Parent  e7e53b58b179f49f2b4fed1546b3002bbb7feed4
[project @ 1996-01-22 06:10:51 by jwe]

diff -r e7e53b58b179 -r b86d76c3c0dd src/pager.cc
--- 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;
diff -r e7e53b58b179 -r b86d76c3c0dd src/pager.h
--- 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