diff src/oct-hist.cc @ 3536:e8fbc8c3d6d9

[project @ 2000-02-02 12:01:00 by jwe]
author jwe
date Wed, 02 Feb 2000 12:01:08 +0000
parents 096ad38d7ab5
children 71bd2d124119
line wrap: on
line diff
--- a/src/oct-hist.cc
+++ b/src/oct-hist.cc
@@ -105,7 +105,7 @@
   return size;
 }
 
-std:string
+std::string
 default_history_file (void)
 {
   std::string file;
@@ -330,7 +330,7 @@
     }
 }
 
-static string
+static std::string
 mk_tmp_hist_file (int argc, const string_vector& argv,
 		  int insert_curr, const char *warn_for) 
 {