diff src/pt-id.cc @ 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 a3556d2adec9
children 096ad38d7ab5
line wrap: on
line diff
--- a/src/pt-id.cc
+++ b/src/pt-id.cc
@@ -44,7 +44,7 @@
 string
 tree_identifier::name (void) const
 {
-  string retval;
+  std::string retval;
   if (sym)
     retval = sym->name ();
   return retval;
@@ -58,7 +58,7 @@
 }
 
 void
-tree_identifier::document (const string& s)
+tree_identifier::document (const std::string& s)
 {
   if (sym)
     sym->document (s);