# HG changeset patch
# User jwe
# Date 953895201 0
# Node ID 3af6d00b82edb11f4665bd5691b6026117d27872
# Parent  3843aa0767c8be247c619f807159e1ebfb14e0ff
[project @ 2000-03-24 10:53:21 by jwe]

diff --git a/src/oct-stream.cc b/src/oct-stream.cc
--- 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);
 		}