changeset 3643:3af6d00b82ed

[project @ 2000-03-24 10:53:21 by jwe]
author jwe
date Fri, 24 Mar 2000 10:53:21 +0000
parents 3843aa0767c8
children 9add655e8b8c
files src/oct-stream.cc
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/oct-stream.cc
+++ b/src/oct-stream.cc
@@ -588,7 +588,7 @@
   int i = 0;
 
   int args = 0;
-  string flags;
+  std::string flags;
   int fw = 0;
   int prec = 0;
   char modifier = '\0';
@@ -744,7 +744,7 @@
 	  if (isdigit (s[i]))
 	    {
 	      int n = 0;
-	      string tmp = s.substr (i);
+	      std::string tmp = s.substr (i);
 	      sscanf (tmp.c_str (), "%d%n", &fw, &n);
 	    }
 
@@ -770,7 +770,7 @@
 	      if (isdigit (s[i]))
 		{
 		  int n = 0;
-		  string tmp = s.substr (i);
+		  std::string tmp = s.substr (i);
 		  sscanf (tmp.c_str (), "%d%n", &prec, &n);
 		}