diff src/pt-pr-code.cc @ 3523:b80bbb43a1a9

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000
parents d14c483b3c12
children 0689afb1d001
line wrap: on
line diff
--- a/src/pt-pr-code.cc	Wed Feb 02 06:32:04 2000 +0000
+++ b/src/pt-pr-code.cc	Wed Feb 02 10:26:25 2000 +0000
@@ -302,9 +302,9 @@
       os << " = ";
     }
 
-  string fcn_name = fcn.function_name ();
+  std::string fcn_name = fcn.function_name ();
 
-  os << (fcn_name.empty () ? string ("(empty)") : fcn_name) << " ";
+  os << (fcn_name.empty () ? std::string ("(empty)") : fcn_name) << " ";
 
   tree_parameter_list *param_list = fcn.parameter_list ();
 
@@ -357,8 +357,8 @@
 
   print_parens (id, "(");
 
-  string nm = id.name ();
-  os << (nm.empty () ? string ("(empty)") : nm);
+  std::string nm = id.name ();
+  os << (nm.empty () ? std::string ("(empty)") : nm);
 
   print_parens (id, ")");
 }