diff src/help.h @ 3523:b80bbb43a1a9

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000 (2000-02-02)
parents d14c483b3c12
children 4c8a2e4e0717
line wrap: on
line diff
--- a/src/help.h
+++ b/src/help.h
@@ -30,17 +30,17 @@
 
 extern string_vector make_name_list (void);
 
-extern void display_help_text (ostream&, const string&);
+extern void display_help_text (std::ostream&, const std::string&);
 
-extern void additional_help_message (ostream&);
+extern void additional_help_message (std::ostream&);
 
 // Name of the info file specified on command line.
 // (--info-file file)
-extern string Vinfo_file;
+extern std::string Vinfo_file;
 
 // Name of the info reader we'd like to use.
 // (--info-program program)
-extern string Vinfo_prog;
+extern std::string Vinfo_prog;
 
 #endif